Intuitionistic Sequent Calculi for Finitely Many-valued Logics.
Eugenia ReznikPhilippe CurminPublished in: Log. J. IGPL (2001)
Keyphrases
- sequent calculi
- cut elimination
- modal logic
- sequent calculus
- classical logic
- linear logic
- inference rules
- natural deduction
- wide class
- temporal logic
- truth values
- conditional logic
- decision procedures
- theorem prover
- sufficient conditions
- concept lattice
- logical framework
- theorem proving
- model checking
- situation calculus
- fixed point
- logic programming
- object oriented