Abstract
In this note we develop a method for constructing finite totally-ordered m-zeroids and prove that there exists a categorical equivalence between the category of finite, totally-ordered m-zeroids and the category of pseudo Łukasiewicz-like implicators.
Similar content being viewed by others
References
Chang C. C., Algebraic Analysis of Many Valued Logics, Trans. of AMS 88(2):467– 490, (Jul.), 1958.
Cignoli R., Mundici D: An Elementary Proof of Chang’s Completeness Theorem for the Inifinite-valued Calculus of Łukasiewicz. Studia Logica 58, 79–97 (1997)
Höhle, U., Commutative, residuated ℓ-monoids, Nonclassical Logics and Their Applications to Fuzzy Subsets, 1995, pp. 53–106.
Nachtegael, M., and E. E. Kerre, The Dizzy Number of Fuzzy Implication Operators on Finite Chains, in D. Ruan, H. Abderrahim, P. D’honte, and E. Kerre (eds.), Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry, 1998, pp. 29–35.
Nachtegael, M., and E. E. Kerre, Fuzzy Logical Operators on Finite Chains (unpublished).
Paoli, F., A Common Abstraction of MV-algebras and Abelian ℓ-groups, Studia Logica 65:355–366, 2000.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Palmatier, J.B., Guzman, F. M-Zeroids: Structure and Categorical Equivalence. Stud Logica 100, 975–1000 (2012). https://doi.org/10.1007/s11225-012-9444-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9444-5