Finitely many-valued logics and natural deduction.
Cécilia EnglanderEdward Hermann HaeuslerLuiz Carlos PereiraPublished in: Log. J. IGPL (2014)
Keyphrases
- natural deduction
- inference rules
- modal logic
- truth values
- intuitionistic logic
- sequent calculus
- cut elimination
- theorem prover
- theorem proving
- decision procedures
- temporal logic
- logical framework
- finite number
- classical logic
- nonmonotonic logics
- first order logic
- inductive inference
- default logic
- conceptual clustering
- linear time temporal logic
- linear logic
- horn clauses
- situation calculus
- concept lattice
- proof theoretic
- belief propagation