M-zeroids: structure and categorical equivalence

DOI10.1007/S11225-012-9444-5MaRDI QIDQ1928484zbMATH OpenOpenAlexFDO

Authors Joshua B. Palmatier, F. Guzmán

Publication date 3 January 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9444-5

zbMATH Keywords

categorical equivalencefinite totally-ordered m-zeroidpseudo Łukasiewicz-like implicator

Mathematics Subject Classification ID

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

Review text

Since \textit{C. C. Chang} [Trans. Am. Math. Soc. 88, 467--490 (1958; Zbl 0084.00704)] first defined the algebraic systems called MV-algebras, numerous generalizations for MV-algebras have been proposed, including the structures called m-zeroids. In this paper the authors develop a method for constructing finite totally-ordered m-zeroids. They also prove that there is a categorical equivalence between the category of pseudo Łukasiewicz-like implicators and the category of finite totally-ordered m-zeroids.

Recommendations

• scientific article; zbMATH DE number 5831757
• scientific article; zbMATH DE number 1322904
• scientific article; zbMATH DE number 1846783
• On the structure of zero morphisms in a quasi-pointed category
• scientific article; zbMATH DE number 3957077
• scientific article; zbMATH DE number 1441859
• ^0_2-categoricity of equivalence structures
• Equivalences of monoidal model categories
• Categorical equivalences and realization theorems
• Idempotent residuated structures: Some category equivalences and their applications

Cites work

• A common abstraction of MV-algebras and abelian \(l\)-groups
• Algebraic Analysis of Many Valued Logics
• An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
• FUZZY LOGICAL OPERATORS ON FINITE CHAINS
• scientific article; zbMATH DE number 764336 (Why is no real title available?)

Cited in

(1)

• Extending Chang's construction to the category of m-zeroids and some category containing the category of abelian \(\ell\)-groups with strong unit.

This page was built for publication: M-zeroids: structure and categorical equivalence

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