Login / Signup
Dual-Intuitionistic Logic.
Igor Urbas
Published in:
Notre Dame J. Formal Log. (1996)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
normal form
proof theoretic
artificial intelligence
model checker
general purpose