12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 12:58, 6 July 2009
, 12:58, 6 July 2009→Cactus Language for Propositional Logic: looking for the on ramp
'''''NOTE.''' This section is currently under construction. In the meantime, see [[Logical Graph]].''
'''''NOTE.''' This section is currently under construction. In the meantime, see [[Logical Graph]].''
The development of differential logic is greatly facilitated by setting a conceptually efficient calculus in place at the level of boolean-valued functions and elementary logical propositions.
Table 1 outlines a notation for propositional calculus based on two types of logical connectives, both of variable <math>k\!</math>-ary scope.
Table 1 outlines a notation for propositional calculus based on two types of logical connectives, both of variable <math>k\!</math>-ary scope.