Formalized Meta-Theory of Sequent Calculi for Substructural Logics.

Kaustuv Chaudhuri Leonardo Lima Giselle Reis

Published in: LSFA (2016)

Keyphrases

sequent calculi
propositional calculus
modal logic
conditional logic
expressive power
proof theoretic
artificial intelligence
graphical models
low dimensional
nonmonotonic reasoning