Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic.
Albert VisserPublished in: Notre Dame J. Formal Log. (2006)
Keyphrases
- default logic
- set theory
- first order logic
- expressive power
- propositional logic
- classical first order logic
- autoepistemic logic
- nonmonotonic logics
- logic programming
- propositional variables
- multi valued
- floating point
- queueing networks
- inference rules
- closed world
- modal logic
- linearly ordered
- nonmonotonic reasoning
- theorem proving
- arithmetic operations
- propositional dynamic logic
- coalition logic
- description logics