Howe, Jacob M. (1999) Proof Search in Lax Logic. Technical report. (KAR id:21801)
PDF
Language: English |
|
Download this file (PDF/206kB) |
![]() |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Postscript
Language: English |
|
Download this file (Postscript/257kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader |
Abstract
A Gentzen sequent calculus for Lax Logic is presented, the proofs in which naturally correspond in a 1--1 way with the normal natural deductions for the logic. The propositional fragment of this calculus is then used a basis for another calculus, one which uses a history mechanism in order to give a decision procedure for propositional Lax Logic.
Item Type: | Reports and Papers (Technical report) |
---|---|
Uncontrolled keywords: | Modal Logic |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 07 Oct 2009 18:42 UTC |
Last Modified: | 16 Nov 2021 10:00 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21801 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):