Login / Signup
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.
Tomasz Polacik
Published in:
J. Symb. Log. (1998)
Keyphrases
</>
intuitionistic logic
classical logic
default logic
linear logic
deductive databases
propositional logic
first order logic
natural deduction
proof theoretic
model theoretic
normal form
modal logic
horn clauses
probabilistic logic
expressive power