CLDS for Propositional Intuitionistic Logic.

Krysia Broda Dov M. Gabbay

Published in: TABLEAUX (1999)

Keyphrases

intuitionistic logic
classical logic
linear logic
default logic
propositional logic
natural deduction
normal form
proof theoretic
first order logic
modal logic
model checker
knowledge representation
sufficient conditions
theorem prover
default reasoning