Login / Signup
On the Complexity of Propositional Quantification in Intuitionistic Logic.
Philip Kremer
Published in:
J. Symb. Log. (1997)
Keyphrases
</>
intuitionistic logic
propositional logic
first order logic
decision problems
classical logic
sufficient conditions
database design