Login / Signup
An Intuitionistically Plausible Interpretation of Intuitionistic Logic.
Harrie C. M. de Swart
Published in:
J. Symb. Log. (1977)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
relational databases
knowledge based systems
proof theory