Displaying similar documents to “Automorphisms of concrete logics”

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...

On the concreteness of quantum logics

Pavel Pták, John David Maitland Wright (1985)

Aplikace matematiky

Similarity:

It is shown that for any quantum logic L one can find a concrete logic K and a surjective homomorphism f from K onto L such that f maps the centre of K onto the centre of L . Moreover, one can ensure that each finite set of compatible elements in L is the image of a compatible subset of K . This result is “best possible” - let a logic L be the homomorphic image of a concrete logic under a homomorphism such that, if F is a finite subset of the pre-image of a compatible subset of L , then...