Login / Signup
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.
Peter Schroeder-Heister
Published in:
J. Philos. Log. (1983)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
artificial intelligence