Login / Signup
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.
Rajeev Goré
Linda Postniece
Alwen Tiu
Published in:
Advances in Modal Logic (2008)
Keyphrases
</>
intuitionistic logic
proof search
linear logic
cut elimination
sequent calculus
natural deduction
inference rules
proof theoretic
fixed point
desirable properties
logic programming
logical framework
modal logic
theorem prover
bayesian networks
search algorithm