On primeness and maximality of filters
Francis Borceux, Maria-Cristina Pedicchio (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Francis Borceux, Maria-Cristina Pedicchio (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Belnap, Nuel D. jr., Spencer, Joel H. (1966)
Portugaliae mathematica
Similarity:
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).
Francis Borceux, Maria Cristina Pedicchio (1987)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
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,...
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 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...
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...