Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.

Francesca Poggiolesi

Published in: Stud Logica (2016)

Keyphrases

sequent calculi
cut elimination
natural deduction
sequent calculus
inference rules
logical framework
theorem prover
linear logic
proof theoretic
intuitionistic logic
theorem proving
wide class
modal logic
linear time temporal logic
automated reasoning
first order logic
sufficient conditions
shape analysis