Automorphisms of concrete logics

Mirko Navara; Josef Tkadlec

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

The search session has expired. Please query the service again.

Displaying similar documents to “Automorphisms of concrete logics”

On centers and state spaces of logics

Pták, Pavel

Similarity:

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

On generating and concreteness in quantum logics

Vladimír Rogalewicz (1991)

Mathematica Slovaca

Similarity:

Displaying similar documents to “Automorphisms of concrete logics”

On centers and state spaces of logics

Subalgebras and sublogics of σ -logics

Modal Boolean Connexive Logics: Semantics and Tableau Approach

On generating and concreteness in quantum logics

Subalgebras and sublogics of $σ$ -logics