From the subformula property to cut-admissibility in propositional sequent calculi.

Ori Lahav Yoni Zohar

Published in: J. Log. Comput. (2018)

Keyphrases

sequent calculi
propositional formulas
propositional logic
proof procedure
first order logic
modal logic
desirable properties
probabilistic model
belief revision
incomplete information
default logic
conditional logic