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: No information on entry rating
[parent] differential propositional calculus : examples (Example)

Forthcoming




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

View style:

See Also: differential logic, propositional calculus


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

This is version 1 of differential propositional calculus : examples, born on 2008-06-06.
Object id is 10676, canonical name is DifferentialPropositionalCalculusExamples.
Accessed 712 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)