Login / Signup
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.
Ian Shillito
Iris van der Giessen
Rajeev Goré
Rosalie Iemhoff
Published in:
TABLEAUX (2023)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
proof theoretic
sequent calculi
theorem prover
modal logic
linear time temporal logic
sufficient conditions
logical framework
intuitionistic logic
theorem proving
term rewriting