Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics.

Arnon Avron Beata Konikowska Anna Zamansky

Published in: LICS (2012)

Keyphrases

sequent calculi
conditional logic
modal logic
inference rules
cut elimination
logic programming
belief revision
default reasoning
classical logic
valued semantics