Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
Zoran MajkicPublished in: CoRR (2011)
Keyphrases
- sequent calculi
- modal logic
- truth values
- multi valued
- valued logic
- inference rules
- conditional logic
- cut elimination
- decision procedures
- temporal logic
- classical logic
- logic programming
- sequent calculus
- np complete
- default logic
- situation calculus
- vector space
- fixpoint
- probabilistic logic
- concept lattice
- belief revision
- textual entailment
- natural deduction
- knowledge representation