Sequent and hypersequent calculi for abelian and Łukasiewicz logics.

George Metcalfe Nicola Olivetti Dov M. Gabbay

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
algebraic properties
information systems
belief revision
nonmonotonic reasoning
database
default reasoning
decision procedures