On normal-valued basic pseudo-hoops

DOI10.1007/S00500-011-0763-7MaRDI QIDQ1933780zbMATH OpenOpenAlexFDO

Authors Michal Botur, Anatolij Dvurečenskij, Tomasz Kowalski

Publication date 25 January 2013

Published in Soft Computing (Search for Journal in Brave)

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

zbMATH Keywords

base of equationsfilterfuzzy logicfuzzy setHolland's representation theorempseudo-BL-algebrapseudo-hooppseudo-MV-algebra

Mathematics Subject Classification ID

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

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.

Review text

The authors show that every pseudo-hoop satisfies the Riesz decomposition property and visualize basic pseudo-hoops by functions on a linearly ordered set. Finally, they study normal-valued basic pseudo-hoops giving a countable base of equations for them.

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

Cites work

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

Cited in

(14)

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

Describes a project that uses

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)