PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: Very high
[parent] differential propositional calculus : appendix 4 (Application)


Contents

Detail of Calculation for the Difference Map

<</SPAN>#47#>Detail of Calculation for $\operatorname{D}f = \operatorname{E}f + f$ -1-JG 6pt] $f_{0}$




"differential propositional calculus : appendix 4" is owned by Jon Awbrey.
(view preamble | get metadata)

View style:

See Also: differential logic, minimal negation operator, propositional calculus, zeroth order logic


This object's parent.
Log in to rate this entry.
(view current ratings)

This is version 4 of differential propositional calculus : appendix 4, born on 2008-06-20, modified 2008-06-21.
Object id is 10714, canonical name is DifferentialPropositionalCalculusAppendix4.
Accessed 646 times total.

Classification:
AMS MSC03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic)
 03B42 (Mathematical logic and foundations :: General logic :: Logic of knowledge and belief)
 03B44 (Mathematical logic and foundations :: General logic :: Temporal logic)
 34G99 (Ordinary differential equations :: Differential equations in abstract spaces :: Miscellaneous)
 39A12 (Difference and functional equations :: Difference equations :: Discrete version of topics in analysis)
 53A40 (Differential geometry :: Classical differential geometry :: Other special differential geometries)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)