Sequent Calculi for Intuitionistic Gödel-Löb Logic.

Iris van der Giessen Rosalie Iemhoff

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

Keyphrases

sequent calculi
cut elimination
linear logic
sequent calculus
natural deduction
wide class
inference rules
modal logic
classical logic
logic programming
sufficient conditions
conditional logic
fixed point
software engineering
theorem prover
desirable properties
proof theory