12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 15:14, 19 April 2008
, 15:14, 19 April 2008add token lead
{{DISPLAYTITLE:Differential Propositional Calculus}}
{{DISPLAYTITLE:Differential Propositional Calculus}}
A '''differential propositional calculus''' is a [[propositional calculus extended]] by a set of terms that may be interpreted as denoting changes, differences, or variations that affect the universe of discourse described by the initial set of terms.
A concrete example is best on first approach.
==Casual introduction==
…
==Formal development==
…
==Expository examples==
…
==Differential Logic : Series A==
==Differential Logic : Series A==