Login / Signup
The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic.
Samuel R. Buss
Grigori Mints
Published in:
Ann. Pure Appl. Log. (1999)
Keyphrases
</>
intuitionistic logic
linear logic
desirable properties
classical logic
natural deduction