Displaying similar documents to “Homomorphism kernels of a tetravalent modal algebra”

On the lattice of n-filters of an LM n-algebra

Dumitru Buşneag, Florentina Chirteş (2007)

Open Mathematics

Similarity:

For an n-valued Łukasiewicz-Moisil algebra L (or LM n-algebra for short) we denote by F n(L) the lattice of all n-filters of L. The goal of this paper is to study the lattice F n(L) and to give new characterizations for the meet-irreducible and completely meet-irreducible elements on F n(L).

Logics for stable and unstable mereological relations

Vladislav Nenchev (2011)

Open Mathematics

Similarity:

In this paper we present logics about stable and unstable versions of several well-known relations from mereology: part-of, overlap and underlap. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereological relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations,...

An algebraic completeness proof for Kleene's 3-valued logic

Maurizio Negri (2002)

Bollettino dell'Unione Matematica Italiana

Similarity:

We introduce Kleene's 3-valued logic in a language containing, besides the Boolean connectives, a constant n for the undefined truth value, so in developing semantics we can switch from the usual treatment based on DM-algebras to the narrower class of DMF-algebras (De Morgan algebras with a single fixed point for negation). A sequent calculus for Kleene's logic is introduced and proved complete with respect to threevalent semantics. The completeness proof is based on a version of the...

Generalized co-annihilator of BL-algebras

Biao Long Meng, Xiao Long Xin (2015)

Open Mathematics

Similarity:

In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators. We also introduce the notion of involutory filters relative to a filter F and prove that the set of all involutory filters relative to a filter with respect to the suit operations is a complete Boolean lattice and BL-algebra. We use the technology of generalized co-annihilators...