12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 13:15, 6 July 2009
, 13:15, 6 July 2009→Cactus Language for Propositional Logic
'''''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 having a conceptually efficient calculus in place at the level of boolean-valued functions and elementary logical propositions.
The development of differential logic is greatly facilitated by having a conceptually and computationally 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.