12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 03:05, 28 April 2008
, 03:05, 28 April 2008revise lead, add refs
{{DISPLAYTITLE:Differential Propositional Calculus}}
{{DISPLAYTITLE:Differential Propositional Calculus}}
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing changes in or transformations between one or more [[universes of discourse]].
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.
==Casual introduction==
==Casual introduction==
The differential field D[uv] specifies the changes that need to be made from each point of X in order
The differential field D[uv] specifies the changes that need to be made from each point of X in order
to change the value of the proposition uv.
to change the value of the proposition uv.
==References==
* Edelman, Gerald M. (1988), ''Topobiology : An Introduction to Molecular Embryology'', Basic Books, New York, NY.