12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 13:29, 6 July 2009
, 13:29, 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 and computationally 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 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.
