I’m not really familiar with it. Looking it up quickly, it looks like regular formal logic formulas with some new operator symbols, I’m not sure I’d count that as a whole new notation. The 2D structure in Gentzen’s natural deduction feels much more like it warrants being called a whole new notation.
I’m not really familiar with it. Looking it up quickly, it looks like regular formal logic formulas with some new operator symbols, I’m not sure I’d count that as a whole new notation. The 2D structure in Gentzen’s natural deduction feels much more like it warrants being called a whole new notation.