LJQ: A Strongly Focused Calculus for Intuitionistic Logic.

Roy Dyckhoff Stéphane Lengrand

Published in: CiE (2006)

Keyphrases

intuitionistic logic
natural deduction
classical logic
linear logic
proof theoretic
cut elimination
sequent calculus
theorem prover
inference rules
theorem proving
knowledge base
wide class
model checker