A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.

Published in: Stud Logica (2019)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
defeasible logic
linear time temporal logic
legal reasoning
wide class
deontic logic
default logic
proof search
first order logic
nonmonotonic logics
practical reasoning
theorem prover
fixed point
sufficient conditions