Analytic Sequent Calculi for Abelian and ukasiewicz Logics.

George Metcalfe Nicola Olivetti Dov M. Gabbay

Published in: TABLEAUX (2002)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
nonmonotonic reasoning
natural language
general purpose
belief revision
classical logic