Login / Signup
A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic.
Roy Dyckhoff
Published in:
Log. J. IGPL (1999)
Keyphrases
</>
sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
linear time temporal logic
wide class
proof search
classical logic
sufficient conditions
theorem proving
theorem prover
high level
markov random field
partial order