12,080
edits
Changes
Directory: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.