Results 1 to 10 of about 85 (73)
Fuzzy Ideals and Fuzzy Filters of Pseudocomplemented Semilattices
Advances in Fuzzy Systems, 2019 In this paper, we introduce the concept of kernel fuzzy ideals and ⁎-fuzzy filters of a pseudocomplemented semilattice and investigate some of their properties.
Berhanu Assaye Alaba +1 more
doaj +2 more sources
Some remarks on certain classes of semilattices
International Journal of Mathematics and Mathematical Sciences, 1982 In this paper the concept of a ∗-semilattice is introduced as a generalization to distributive ∗-lattice first introduced by Speed [1]. It is shown that almost all the results of Speed can be extended to a more eneral class of distributive ∗-semilattices.
P. V. Ramana Murty, M. Krishna Murty
doaj +2 more sources
Unification on Subvarieties of Pseudocomplemented Distributive Lattices [PDF]
Notre Dame Journal of Formal Logic, 2016 21 ...
Leonardo Cabrer
exaly +4 more sources
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
Studia Logica, 2011 A pseudocomplemented residuated lattice is a bounded residuated lattice \(\mathbf A=\langle A, \ast, \rightarrow,\vee, \wedge, \mathbf 0, \mathbf 1\rangle\) satisfying the equation: \(x \wedge \neg x= \mathbf 0\), where \(\neg x:=x \rightarrow \mathbf 0\), for all \(x \in A\).
Castaño, Diego Nicolás +2 more
exaly +4 more sources
Filters and congruences in sectionally pseudocomplemented lattices and posets. [PDF]
Soft comput, 2021 Chajda I, Länger H.
europepmc +2 more sources
On the universal theory of the free pseudocomplemented distributive lattice
Journal of AlgebraIt is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free algebras which is known to be undecidable.
Luca Carai, Tommaso Moraschini
exaly +3 more sources
On the Lattice of Filters of Intuitionistic Linear Algebras [PDF]
Transactions on Fuzzy Sets and Systems, 2023 In this paper, we investigate the filter theory of Intuitionistic Linear Algebra (IL-algebra, in short) with emphasis on the lattice of filters of IL-algebras and relationship between filters and congruences on IL-algebras.
Tenkeu Yannick Lea, Cyrille Nganteu
doaj +1 more source
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
Subobjects and Compactness in Point‐Free Convergence
Journal of Mathematics, Volume 2023, Issue 1, 2023., 2023 We consider subobjects in the context of point‐free convergence (in the sense of Goubault‐Larrecq and Mynard), characterizing extremal monomorphisms in the opposite category of that of convergence lattices. It turns out that special ones are needed to capture the notion of subspace.
Emilio Angulo +2 more
wiley +1 more source
On State Ideals and State Relative Annihilators in De Morgan State Residuated Lattices
International Journal of Mathematics and Mathematical Sciences, Volume 2022, Issue 1, 2022., 2022 The concept of state has been considered in commutative and noncommutative logical systems, and their properties are at the center for the development of an algebraic investigation of probabilistic models for those algebras. This article mainly focuses on the study of the lattice of state ideals in De Morgan state residuated lattices (DMSRLs).
Francis Woumfo +4 more
wiley +1 more source