Login / Signup
Resolution for Intuitionistic Logic.
Melvin Fitting
Published in:
ISMIS (1987)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
logic programming
programming language
fixed point