Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Dual skew Heyting almost distributive lattices
View through CrossRef
Abstract
In this paper, we introduce the concept of dual skew Heyting almost distributive lattices (dual skew HADLs) and characterise it in terms of dual HADL. We define an equivalence relation θ on a dual skew HADL L and prove that θ is a congruence relation on the equivalence class [x]θ so that each congruence class is a maximal rectangular subalgebra and the quotient [y]θ/θ is a maximal lattice image of [x]θ for any y ∈ [x]θ. Moreover, we show that if the set PI (L) of all the principal ideals of an ADL L with 0 is a dual skew Heyting algebra then L becomes a dual skew HADL. Further we present different conditions on which an ADL with 0 becomes a dual skew HADL.
Walter de Gruyter GmbH
Title: Dual skew Heyting almost distributive lattices
Description:
Abstract
In this paper, we introduce the concept of dual skew Heyting almost distributive lattices (dual skew HADLs) and characterise it in terms of dual HADL.
We define an equivalence relation θ on a dual skew HADL L and prove that θ is a congruence relation on the equivalence class [x]θ so that each congruence class is a maximal rectangular subalgebra and the quotient [y]θ/θ is a maximal lattice image of [x]θ for any y ∈ [x]θ.
Moreover, we show that if the set PI (L) of all the principal ideals of an ADL L with 0 is a dual skew Heyting algebra then L becomes a dual skew HADL.
Further we present different conditions on which an ADL with 0 becomes a dual skew HADL.
Related Results
Finitely Presented Heyting Algebras
Finitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting<br />algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every s...
Unbounded Star Convergence in Lattices
Unbounded Star Convergence in Lattices
Let L be a vector lattice, "(" x_α ") " be a L-valued net, and x∈L . If |x_α-x|∧u→┴o 0 for every u ∈〖 L〗_+ then it is said that the net "(" x_α ")" unbounded order converges ...
On distributive semimodules
On distributive semimodules
This work considers the construction of the concept of distributive property for semimodules. Some characterizations of this property, with some examples are given. Some conditions...
Models de distribució sobre el símplex
Models de distribució sobre el símplex
Les dades composicionals són vectors les components dels quals representen proporcions respecte d'un total, i per tant estan sotmesos a la restricció que la suma de les seves compo...
Free mu-lattices
Free mu-lattices
A mu-lattice is a lattice with the property that every unary <br />polynomial has both a least and a greatest fix-point. In this paper<br />we define the quasivariety o...
Ambiguities in powder pattern indexing: A ternary lattice metric singularity
Ambiguities in powder pattern indexing: A ternary lattice metric singularity
A lattice metric singularity occurs when unit cells defining two (or more) lattices yield the identical set of unique calculated d-spacings. The existence of such singularities, th...
COUPLING OSCILLATIONS OF LATTICES OF DIFFERENT DIELECTRIC RESONATORS
COUPLING OSCILLATIONS OF LATTICES OF DIFFERENT DIELECTRIC RESONATORS
Background. The development of many elements of modern communication systems is increasingly based on the use of various types of dielectric resonators (DR). The theory of coupled ...
Uniform Monad Presentations and Graph Quasitoposes
Uniform Monad Presentations and Graph Quasitoposes
Category theory is a field of mathematics that provides a unifying framework for the generalisation of mathematical definitions and theorems, and which has found significant applic...