On centers and state spaces of logics
Pták, Pavel
Similarity:
Displaying similar documents to “Automorphisms of concrete logics”
On centers and state spaces of logics
Subalgebras and sublogics of -logics
Ján Šipoš (1978)
Mathematica Slovaca
Similarity:
Modal Boolean Connexive Logics: Semantics and Tableau Approach
Tomasz Jarmużek, Jacek Malinowski (2019)
Bulletin of the Section of Logic
Similarity:
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without...