On normal-valued basic pseudo-hoops

DOI10.1007/S00500-011-0763-7zbMATH Open1270.03136arXiv1102.5424OpenAlexW1981591622MaRDI QIDQ1933780FDOQ1933780

Authors: Michal Botur, Anatolij Dvurečenskij, Tomasz Kowalski 

Publication date: 25 January 2013

Published in: Soft Computing (Search for Journal in Brave)

Abstract: We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for them.

Full work available at URL: https://arxiv.org/abs/1102.5424

Recommendations

• Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
• Bounded pseudo-hoops with internal states
• The decomposition of linearly ordered pseudo-hoops
• Implicative pseudo valuations on hoops
• On pseudo-BL-algebras and pseudo-hoops with normal maximal filters

zbMATH Keywords

fuzzy setfilterfuzzy logicpseudo-BL-algebrapseudo-MV-algebrapseudo-hoopbase of equationsHolland's representation theorem

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35)

Cites Work

• Title not available (Why is that?)
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• A non-commutative generalization of MV-algebras
• Pseudo MV-algebras are intervals in ℓ-groups
• On the structure of generalized BL-algebras
• Generalized MV-algebras
• THE STRUCTURE OF RESIDUATED LATTICES
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the structure of pseudo BL-algebras and pseudo hoops in quantum logics
• States on pseudo MV-algebras
• Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
• The lattice-ordered group of automorphisms of an ordered set
• Varieties of BL-algebras. I: General properties.
• Every linear pseudo BL-algebra admits a state
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Divisibility groupoids -- again
• Komplementäre Halbgruppen Kongruenzen und Quotienten
• Residuation groupoids -- again
• Holland’s theorem for pseudo-effect algebras

Cited In (11)

• The decomposition of linearly ordered pseudo-hoops
• Quasi-pseudo-hoops: an extension to pseudo-hoops
• Kites and pseudo BL-algebras.
• Implicative pseudo valuations on hoops
• On pseudo-BL-algebras and pseudo-hoops with normal maximal filters
• How do \(\ell\)-groups and po-groups appear in algebraic and quantum structures?
• Filters on some classes of quantum B-algebras
• Nonassociative right hoops
• On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
• Monadic bounded hoops
• Stabilizer topology of hoops

Uses Software

• Pseudo Hoops

This page was built for publication: On normal-valued basic pseudo-hoops

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1933780)