Dummett Logic, Irreflexive Modality and Novikov Completeness

In Sergei Odintsov (ed.), Larisa Maksimova on Implication, Interpolation, and Definability. Cham, Switzerland: Springer Verlag (2018)
  Copy   BIBTEX

Abstract

We study an extension of superintuitionistic logic LC in the language containing an additional unary logical connective. This connective is interpreted on every finite chain by the so called irreflexive modality. We show that the resulting logic is conservative over LC, determines a new logical connective in LC w.r.t. P. Novikov’s approach to the notion of a new logical connective. Moreover, we show that is an explicit example of Novikov complete extension of LC, i.e. every proper extension of it is not conservative over LC.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Two extensions of the structurally free logic LC.K. Bimbó & J. Dunn - 1998 - Logic Journal of the IGPL 6 (3):403-424.
First-Order Logic of Change.Kordula Świętorzecka - forthcoming - Logic Journal of the IGPL.
Semantics for structurally free logics LC+.K. Bimbó - 2001 - Logic Journal of the IGPL 9 (4):525-539.
Non-commutative Łukasiewicz propositional logic.Ioana Leuştean - 2006 - Archive for Mathematical Logic 45 (2):191-213.
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.

Analytics

Added to PP
2019-01-28

Downloads
6 (#1,699,245)

6 months
5 (#1,059,814)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references