Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-16T18:24:10.200Z Has data issue: false hasContentIssue false
  • English
  • Français

Proof search in Lax Logic

Published online by Cambridge University Press:  25 July 2001

JACOB M. HOWE
JACOB M. HOWE
Affiliation:
Computing Laboratory, University of Kent, Canterbury CT2 7NF, England
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 11 , Issue 4 , August 2001 , pp. 573 - 588
Copyright
2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)