Changes

revise lead, add refs
Line 1: Line 1:  
{{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==
Line 4,322: Line 4,322:  
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.
12,080

edits