12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday September 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 13:59, 2 June 2008
, 13:59, 2 June 2008separate [work in progress] from [material to be collated]
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.
=Work In Progress=
==Casual introduction==
==Casual introduction==
…
…
=Material To Be Collated=
==Differential Logic : First Approach==
==Differential Logic : First Approach==
