Irreflexive modality as a new logical connective in the Dummett logic
We give an example of a countable family of extensions of Dummett’s superintuitionistic logic LC in a language with one extra unary logical connective each of them defining a new logical connective in LC in the sense of Novikov, and every two logics in this family are incompatible over LC .
Gespeichert in:
| Veröffentlicht in: | Siberian mathematical journal 2014, Vol.55 (1), p.185-190 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | We give an example of a countable family of extensions of Dummett’s superintuitionistic logic
LC
in a language with one extra unary logical connective each of them defining a new logical connective in
LC
in the sense of Novikov, and every two logics in this family are incompatible over
LC
. |
|---|---|
| ISSN: | 0037-4466 1573-9260 |
| DOI: | 10.1134/S0037446614010212 |