Generalized MV-algebras
From MaRDI portal
Publication:1770501
DOI10.1016/j.jalgebra.2004.07.002zbMath1063.06008OpenAlexW2146205527MaRDI QIDQ1770501
Constantine Tsinakis, Nikolaos Galatos
Publication date: 7 April 2005
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgebra.2004.07.002
Related Items (81)
BCK-monoids ⋮ Kites and residuated lattices ⋮ Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. ⋮ Integrally closed residuated lattices ⋮ Proof theory for lattice-ordered groups ⋮ Morphisms on EMV-algebras and their applications ⋮ The Archimedean property: new horizons and perspectives ⋮ \(L\)-algebras and three main non-classical logics ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ Unnamed Item ⋮ On a new construction of pseudo BL-algebras ⋮ Non-commutative logical algebras and algebraic quantales ⋮ Multipotent GBL-algebras ⋮ From partially ordered monoids to partially ordered groups via free nuclear preimages ⋮ On normal-valued basic pseudo-hoops ⋮ On Birkhoff's common abstraction problem ⋮ Kites and representations of pseudo MV-algebras ⋮ Pseudo-BCK algebras as partial algebras ⋮ The 11th IJCAR automated theorem proving system competition – CASC-J11 ⋮ \(L\)-effect algebras ⋮ Structural and universal completeness in algebra and logic ⋮ Perfect GMV-Algebras ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Monadic bounded residuated lattices ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ Filters on some classes of quantum B-algebras ⋮ The Conrad program: from \(l\)-groups to algebras of logic. ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Minimal varieties of involutive residuated lattices ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Unnamed Item ⋮ Quantum B-algebras ⋮ Rotation logics ⋮ Quantale-valued dissimilarity ⋮ Lattice-theoretic properties of algebras of logic ⋮ Kites and pseudo BL-algebras. ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ Deductive systems of a cone algebra — I: Semi-ℓg-cones ⋮ Radical classes and weak radical mappings of GMV-algebras ⋮ Higher degrees of distributivity in complete generalized MV-algebras ⋮ On decomposition of pseudo BL-algebras ⋮ Commutative extended BCK-algebras ⋮ Residuated frames with applications to decidability ⋮ Lattice-ordered pregroups are semi-distributive ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Embedding theorems for classes of GBL-algebras ⋮ On the structure of pseudo BL-algebras and pseudo hoops in quantum logics ⋮ Join-completions of partially ordered algebras ⋮ Modal operators on bounded commutative residuated ℓ-monoids ⋮ A non-associative generalization of MV-algebras ⋮ Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case ⋮ Nuclei and conuclei on residuated lattices ⋮ States of finite GBL-algebras with monoidal sum ⋮ Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups ⋮ \(\bigstar\)-autonomous lattices and fuzzy sets ⋮ The Hahn embedding theorem for a class of residuated semigroups ⋮ Aglianò-Montagna type decomposition of linear pseudo hoops and its applications ⋮ The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete ⋮ Direct summands and retract mappings of generalized MV-algebras ⋮ Generalizations of pseudo MV-algebras and generalized pseudo effect algebras ⋮ A non commutative generalization of *-autonomous lattices ⋮ Join-semilattices whose sections are residuated PO-monoids ⋮ Isometries and direct product decompositions of GMV-algebras ⋮ Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices ⋮ A note on Bosbach's cone algebras ⋮ On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices ⋮ Ordered groups with a conucleus ⋮ Quasi-subtractive varieties ⋮ A note on intervals of residuated \(\ell \)-groupoids ⋮ On the structure of linearly ordered pseudo-BCK-algebras ⋮ A short note on divisible residuated semilattices ⋮ Glivenko theorems for substructural logics over FL ⋮ Splittings in GBL-algebras. I: The general case ⋮ On EMV-algebras ⋮ THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ A categorical equivalence for product algebras ⋮ Poset products as relational models ⋮ L-algebras and topology
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residuation groupoids
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Relative pseudo-complements, join-extensions, and meet-retractions
- Groupes et anneaux reticules
- Metamathematics of fuzzy logic
- Products of classes of residuated structures
- Algebraic foundations of many-valued reasoning
- Equational bases for joins of residuated-lattice varieties
- Concerning cone algebras
- Cancellative residuated lattices
- Minimal varieties of residuated lattices
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic Analysis of Many Valued Logics
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Pseudo MV-algebras are intervals in ℓ-groups
- Algebras Whose Congruence Lattices are Distributive.
This page was built for publication: Generalized MV-algebras
