12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday November 30, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 04:00, 27 December 2011
, 04:00, 27 December 2011→Cactus calculus
<br>
<br>
==Cactus calculus==
==2. Cactus Calculus==
Table 4 outlines a syntax for propositional calculus based on two types of logical connectives, both of variable <math>k\!</math>-ary scope.
Table 4 outlines a syntax for propositional calculus based on two types of logical connectives, both of variable <math>k\!</math>-ary scope.
