Login / Signup
Embedding Lax Logic into Intuitionistic Logic.
Uwe Egly
Published in:
CADE (2002)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
logic programming
proof theory
cut elimination
model checker
relational databases
model checking
belief revision
theorem prover
default logic
constraint logic programming