Repository | Book | Chapter

COPR BookmarkLink
190796

(2009) Towards mathematical philosophy, Dordrecht, Springer.

All splitting logics in the lattice next (KTB)

Tomasz Kowalski , Yutaka Miyazaki

pp. 53-67

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.

Publication details

DOI: 10.1007/978-1-4020-9084-4_4

Full citation:

Kowalski, T. , Miyazaki, Y. (2009)., All splitting logics in the lattice next (KTB), in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 53-67.

This document is unfortunately not available for download at the moment.