Nested Sequents for Intuitionistic Logics.

Published in: Notre Dame J. Formal Log. (2014)

Keyphrases

linear logic
cut elimination
sequent calculus
sequent calculi
inference rules
modal logic
classical logic
logical framework
logic programming
fixed point
expressive power
epistemic logic
natural deduction
desirable properties
conditional logic
propositional calculus
neural network
nonmonotonic logics
general purpose