The paper aims at studying, in full generality, logics defined by imposing a variable inclusion
condition on a given logic ⊢⊢. We prove that the description of the algebraic counterpart of …

The book series Trends in Logic covers essentially the same areas as the journal Studia
Logica, that is, contemporary formal logic and its applications and relations to other …

We show that an idempotent variety has ad-dimensional cube term if and only if its free
algebra on two generators has no d-ary compatible cross. We employ Hall's Marriage …

Paraconsistent weak Kleene () logic is the-valued logic based on the weak Kleene matrices
and with two designated values. In this paper, we investigate the poset of prevarieties of …

The class of involutive bisemilattices plays the role of the algebraic counterpart of
paraconsistent weak Kleene logic. Involutive bisemilattices can be represented as Płonka …

This thesis focuses on a wide family of logics whose common feature is to admit a syntactic
definition based on specific variable inclusion principles. This family has been divided into …

The Mal'tsev product of two varieties of similar algebras is always a quasivariety. We
consider the question of when this quasivariety is a variety. The main result asserts that if VV …

The Płonka product of topological spaces | SpringerLink Skip to main content Advertisement
SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home 2.Algebra …

The class of involutive bisemilattices plays the role of the algebraic counterpart among one
of the three-valued logics introduced by Kleene in [15], namely paraconsistent weak Kleene …

After substantial progress over the last 15 years, the “algebraic CSP-dichotomy conjecture”
reduces to the following: every local constraint satisfaction problem (CSP) associated with a …