Rule-Irredundancy and the Sequent Calculus for Core Logic.

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

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
linear time temporal logic
wide class
classical logic
proof search
sufficient conditions
logical framework
logic programming
rule engine