No CrossRef data available.
Article contents
Proof search in Lax Logic
Published online by Cambridge University Press: 25 July 2001
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.
A Gentzen sequent calculus for Lax Logic is presented, the proofs in which correspond naturally in a 1–1 way to the normal natural deductions for the logic. The propositional fragment of this calculus is used as the basis for another calculus that uses a history mechanism in order to give a decision procedure for propositional Lax Logic.
Information
- Type
- Research Article
- Information
- Copyright
- 2001 Cambridge University Press
You have
Access
- 4
- Cited by