Unification on Subvarieties of Pseudocomplemented Distributive Lattices [PDF]
Notre Dame Journal of Formal Logic, 2016 21 ...
Leonardo Cabrer
exaly +4 more sources
Finite pseudocomplemented lattices and ‘permutoedre’
Discrete Mathematics, 1993 The authors summarize, without proof, their results on the structure of finite meet pseudocomplemented, meet and join pseudocomplemented, and pseudocomplemented and complemented lattices. Some sample results are as follows. A finite lattice is a meet pseudocomplemented lattice if and only if each atom has a meet pseudocomplement, and a finite meet ...
C. Chameni Nembua, Bernard Monjardet
exaly +2 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
$$\sigma $$ σ -Ideals in distributive pseudocomplemented residuated lattices
Soft Computing, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sérgio A Celani, Celani Sérgio A
exaly +4 more sources
Median filters of pseudocomplemented distributive lattices
Discussiones Mathematicae - General Algebra and ApplicationsSummary: Coherent filters, strongly coherent filters, and \(\tau\)-closed filters are introduced in pseudo-complemented distributive lattices and their characterization theorems are derived. A set of equivalent conditions is derived for every filter of a pseudo-complemented distributive lattice to become a coherent filter.
Mukkamala Sambasiva Rao
doaj +2 more sources
Filters and congruences in sectionally pseudocomplemented lattices and posets [PDF]
Soft Computing, 2021 Helmut Langer +2 more
exaly +2 more sources
The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition [PDF]
Transactions of the American Mathematical Society, 1971 In this paper all subdirectly irreducible pseudocomplemented distributive lattices are found. This result is used to establish a Stone-like representation theorem conjectured by G. Grätzer and to find all equational subclasses of the class of pseudocomplemented distributive lattices.
H Lakser
exaly +2 more sources
The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation [PDF]
Transactions of the American Mathematical Society, 1971 This paper continues the examination of the structure of pseudocomplemented distributive lattices. First, the Congruence Extension Property is proved. This is then applied to examine properties of the equational classes
George Gratzer, H Lakser
exaly +3 more sources
Implication in finite posets with pseudocomplemented sections [PDF]
Soft Computing, 2022 Helmut Langer +2 more
exaly +2 more sources
ON n-MIXED PRODÜCT OF PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
Demonstratio Mathematica, 1986 The author defines for a finite family of pseudocomplemented distributive lattices what she calls a mixed product. She then considers the variety generated by all such mixed products, and obtains a finite base for this variety.
exaly +2 more sources