Cancellative residuated lattices
From MaRDI portal
Publication:2496161
DOI10.1007/s00012-003-1822-4zbMath1092.06012OpenAlexW2057500258MaRDI QIDQ2496161
Publication date: 12 July 2006
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-003-1822-4
equational basessubvariety latticegeneralized BL-algebrasgeneralized MV-algebrascategorically equivalent varietiescancellative residuated lattice-ordered monoidslattice reductsnegative cones of \(\ell\)-groups
Lattices of varieties (08B15) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Ordered groups (06F15)
Related Items (max. 100)
Several types of filters related to the Stonean axiom in residuated lattices ⋮ Power and Limits of Structural Display Rules ⋮ BCK-monoids ⋮ Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. ⋮ Integrally closed residuated lattices ⋮ The Archimedean property: new horizons and perspectives ⋮ \(L\)-algebras and three main non-classical logics ⋮ The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices ⋮ Study residuated lattice via some elements ⋮ Unnamed Item ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ A generalization of local fuzzy structures ⋮ Cancellative residuated lattices arising on 2-generated submonoids of natural numbers ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Varieties of K-lattices ⋮ On a factorized \(L\)-fuzzy automaton and its \(L\)-fuzzy topological characterization ⋮ Pseudo-BCK algebras as partial algebras ⋮ Perfect GMV-Algebras ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ The Conrad program: from \(l\)-groups to algebras of logic. ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. ⋮ Weak MV-algebras ⋮ Deductive systems of a cone algebra — I: Semi-ℓg-cones ⋮ The lattices of 𝔏-fuzzy state filters in state residuated lattices ⋮ General algebra and its applications 2013: problem session. ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ Boolean filters and positive implicative filters of residuated lattices ⋮ Unnamed Item ⋮ Some classes of pseudo-residuated lattices ⋮ Algebraic study to generalized Bosbach states on residuated lattices ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Embedding theorems for classes of GBL-algebras ⋮ A non-associative generalization of MV-algebras ⋮ Nuclei and conuclei on residuated lattices ⋮ Generalized MV-algebras ⋮ The structure of idempotent residuated chains ⋮ Conical residuated lattice-ordered idempotent monoids ⋮ Commutative idempotent residuated lattices ⋮ Local bounded commutative residuated ℓ-monoids ⋮ Interior and closure operators on bounded residuated lattice ordered monoids ⋮ Generalizations of pseudo MV-algebras and generalized pseudo effect algebras ⋮ Conuclear images of substructural logics ⋮ Perfect residuated lattice ordered monoids ⋮ Ordered groups with a conucleus ⋮ A note on intervals of residuated \(\ell \)-groupoids ⋮ Glivenko theorems for substructural logics over FL ⋮ On residuated lattices with left and right internal state ⋮ Banaschewski’s theorem for GMV-algebras ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices ⋮ Galois connection of stabilizers in residuated lattices ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ Bounded commutative residuated \(\ell\)-monoids with general comparability and states
This page was built for publication: Cancellative residuated lattices
