Login / Signup
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.
Hiroshi Aoyama
Published in:
Notre Dame J. Formal Log. (2004)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
proof theory
quantum computation
modal logic
default logic
logic programming
default reasoning
data model
logic circuits
temporal logic
proof search
cut elimination
logic programs