Livre | Chapitre
All splitting logics in the lattice next (KTB)
pp. 53-67
Résumé
It is proved that there are only two logics that split the lattice Next(KTB). The proof is based on the general splitting theorem by Kracht and conducted by a graph theoretic argument.
Détails de la publication
Publié dans:
Makinson David, Malinowski Jacek, Wansing Heinrich (2009) Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV. Dordrecht, Springer.
Pages: 53-67
DOI: 10.1007/978-1-4020-9084-4_4
Citation complète:
Kowalski Tomasz, Miyazaki Yutaka, 2009, All splitting logics in the lattice next (KTB). In D. Makinson, J. Malinowski & H. Wansing (eds.) Towards mathematical philosophy (53-67). Dordrecht, Springer.