Login / Signup
Propositional Quantification in Intuitionistic Logic.
Tomasz Polacik
Published in:
Kurt Gödel Colloquium (1997)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
propositional logic
first order logic
default logic
natural deduction
proof theoretic
knowledge compilation
theorem prover
horn clauses
probabilistic logic
cut elimination
np complete
model theoretic