LP-1994-23: der Does, Jaap van (1994) Cut Might Cautiously. [Report]
Preview |
Text (Full Text (PDF))
LP-1994-23.text.pdf Download (204kB) | Preview |
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
LP-1994-23.text.ps.gz Download (81kB) |
|
Text (Abstract)
LP-1994-23.abstract.txt Download (641B) |
Abstract
This note is on cautious cut elimination for one of Veltman's might
logics. Syntactically, the logic is presented as an extension of a sequent
system for classical propositional logic (hence: cpl). I show that this
extension preserves the completeness and decidability of cpl. The
proof has cautious cut elimination as a corollary. I also give a rather
general syntactic proof of cautious cut elimination. It states that any
`base' logic which has a reflexive, monotone consequence relation that
allows cautious cut to be eliminated preserves cautious cut elimination
when extended to a might logic.
| Item Type: | Report |
|---|---|
| Report Nr: | LP-1994-23 |
| Series Name: | Logic, Philosophy and Linguistics (LP) |
| Year: | 1994 |
| Date Deposited: | 12 Oct 2016 14:39 |
| Last Modified: | 12 Oct 2016 14:39 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1225 |
Actions (login required)
 |
View Item |
