summary:A rotational lattice is a structure $\langle L;\vee ,\wedge , g\rangle $ where $L=\langle L;\vee ,\wedge \rangle $ is a lattice and $g$ is a lattice automorphism of finite order. We describe the subdirectly irreducible distributive rotational lattices. Using Jónsson’s lemma, this leads to a description of all varieties of distributive rotational lattices
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
summary:We investigate the variety of residuated lattices with a commutative and idempotent monoid r...
summary:A rotational lattice is a structure $\langle L;\vee ,\wedge , g\rangle $ where $L=\langle L;...
summary:A rotational lattice is a structure $\langle L;\vee ,\wedge , g\rangle $ where $L=\langle L;...
summary:We obtain a simple construction for particular subclasses of several varieties of lattice ex...
summary:We obtain a simple construction for particular subclasses of several varieties of lattice ex...
I use the theory of Lie groups/algebras to discuss the symmetries of crystals with uniform distribut...
AbstractThe notions of rotational tournament and the associated symbol set are generalized to r-tour...
An algebra A = 〈A;F 〉 is a distributive lattice expansion if there are terms ∧, ∨ ∈ TerA, the term ...
PBZ*-lattices are bounded lattice-ordered structures endowed with two complements, called Kleene and...
I use the theory of Lie groups/algebras to discuss the symmetries of crystals with uniform distribut...
AbstractA finite distributive lattice D can be represented as the congruence lattice, Con L, of a fi...
Let A be a finite set of finite algebras and assume that K = Var(A), the variety generated by A, is ...
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
summary:We investigate the variety of residuated lattices with a commutative and idempotent monoid r...
summary:A rotational lattice is a structure $\langle L;\vee ,\wedge , g\rangle $ where $L=\langle L;...
summary:A rotational lattice is a structure $\langle L;\vee ,\wedge , g\rangle $ where $L=\langle L;...
summary:We obtain a simple construction for particular subclasses of several varieties of lattice ex...
summary:We obtain a simple construction for particular subclasses of several varieties of lattice ex...
I use the theory of Lie groups/algebras to discuss the symmetries of crystals with uniform distribut...
AbstractThe notions of rotational tournament and the associated symbol set are generalized to r-tour...
An algebra A = 〈A;F 〉 is a distributive lattice expansion if there are terms ∧, ∨ ∈ TerA, the term ...
PBZ*-lattices are bounded lattice-ordered structures endowed with two complements, called Kleene and...
I use the theory of Lie groups/algebras to discuss the symmetries of crystals with uniform distribut...
AbstractA finite distributive lattice D can be represented as the congruence lattice, Con L, of a fi...
Let A be a finite set of finite algebras and assume that K = Var(A), the variety generated by A, is ...
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
We develop a unifying approach to study projectivity and unification in substructural logics corresp...
summary:We investigate the variety of residuated lattices with a commutative and idempotent monoid r...
DOI
Add to ORKG