City Research Online

Proof search in Lax Logic

Howe, J. M. (2001). Proof search in Lax Logic. Mathematical Structures in Computer Science, 11(04), pp. 573-588. doi: 10.1017/s0960129501003334

Abstract

A Gentzen sequent calculus for Lax Logic is presented, the proofs in which naturally correspond 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, one which uses a history mechanism in order to give a decision procedure for propositional Lax Logic.

Publication Type: Article
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology > Computer Science
SWORD Depositor:
[thumbnail of Proof_Search_in_Lax_Logic.pdf]
Preview
PDF
Download (252kB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login