Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.
Nobu-Yuki SuzukiPublished in: Stud Logica (1993)
Keyphrases
- modal logic
- kripke models
- classical logic
- inference rules
- epistemic logic
- nonmonotonic logics
- conditional logic
- logical framework
- first order logic
- theorem prover
- proof procedures
- proof theory
- default logic
- propositional dynamic logic
- modal operators
- temporal logic
- model checking
- linear logic
- valued logic
- decision procedures
- higher order logic
- autoepistemic logic
- valued semantics
- dynamic logic
- formal semantics
- proof theoretic
- natural deduction
- expressive power
- horn clauses
- fuzzy set theory
- intuitionistic logic
- situation calculus
- logic rules
- logic programming
- default theories
- default reasoning
- desirable properties
- semantic information
- neural network
- fuzzy numbers
- theorem proving
- real valued