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