Binary Sequent Calculi for Finite Many-valued Logics.

Zoran Majkic Bhanu Prasad

Published in: IICAI (2011)

Keyphrases

sequent calculi
modal logic
conditional logic
decision procedures
inference rules
temporal logic
unit interval
cut elimination
sequent calculus
default logic
expert systems
truth values
classical logic
knowledge representation and reasoning
natural deduction
concept lattice
expressive power
machine learning