Studia Logica

, Volume 100, Issue 5, pp 975–1000 | Cite as

M-Zeroids: Structure and Categorical Equivalence

Article
  • 78 Downloads

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.

Keywords

Finite totally-ordered m-zeroid m-Zeroid Implicator Pseudo Łukasiewicz-like implicator Categorical equivalence 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chang C. C., Algebraic Analysis of Many Valued Logics, Trans. of AMS 88(2):467– 490, (Jul.), 1958.Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Höhle, U., Commutative, residuated -monoids, Nonclassical Logics and Their Applications to Fuzzy Subsets, 1995, pp. 53–106.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    Nachtegael, M., and E. E. Kerre, Fuzzy Logical Operators on Finite Chains (unpublished).Google Scholar
  6. 6.
    Paoli, F., A Common Abstraction of MV-algebras and Abelian -groups, Studia Logica 65:355–366, 2000.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2012

Authors and Affiliations

  1. 1.Department of Mathematics, Computer Science, and Statistics OneontaState University of New York, College at OneontaNew YorkUSA
  2. 2.Department of Mathematical Sciences BinghamtonState University of New York, Binghamton UniversityNew YorkUSA

Personalised recommendations