Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.

Matthias Baaz Agata Ciabattoni Christian G. Fermüller

Published in: ISMVL (2001)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
sequent calculi
proof theoretic
proof search
linear time temporal logic
intuitionistic logic
classical logic
desirable properties
truth values
theorem prover
fixed point
first order logic
knowledge base