LP-1994-23: Cut Might Cautiously

LP-1994-23: der Does, Jaap van (1994) Cut Might Cautiously. [Report]

[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

Download (204kB) | Preview
[thumbnail of Full Text (PS)] Text (Full Text (PS))

Download (81kB)
[thumbnail of Abstract] Text (Abstract)

Download (641B)


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 View Item