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:
CoRR (2023)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
natural deduction
inference rules
wide class
sequent calculi
modal logic
proof theoretic
classical logic
intuitionistic logic
linear time temporal logic
proof search
theorem prover
theorem proving
logic programming
graphical models
high level
artificial intelligence