Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Journal of Intelligent Systems

Editor-in-Chief: Fleyeh, Hasan


CiteScore 2018: 1.03

SCImago Journal Rank (SJR) 2018: 0.188
Source Normalized Impact per Paper (SNIP) 2018: 0.533

Online
ISSN
2191-026X
See all formats and pricing
More options …
Volume 25, Issue 2

Issues

Many-Valued Logic and Zadeh’s Fuzzy Sets: A Stone Representation Theorem for Interval-Valued Łukasiewicz–Moisil Algebras

Abdelaziz Amroune
  • Faculty of Mathematics and Informatics, Department of Mathematics, M’sila University, P.O. Box 166, Ichbilia, M’sila 28000, Algeria
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Lemnaouar Zedam
  • Corresponding author
  • Faculty of Mathematics and Informatics, Department of Mathematics, M’sila University, P.O. Box 166, Ichbilia, M’sila 28000, Algeria
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Bijan Davvaz
Published Online: 2015-02-06 | DOI: https://doi.org/10.1515/jisys-2014-0096

Abstract

The aim of this article is to develop a representation theory of interval-valued Łukasiewicz–Moisil algebras; the concept of interval fuzzy sets involves the role that the notion of field of sets plays for the representation of Boolean algebras. This theory provides both a semantic interpretation of a Łukasiewicz interval-valued logic and a logical basis for the interval fuzzy sets theory.

Keywords: Fuzzy set; lattice; interval-valued Łukasiewicz–Moisil algebra; fuzzy algebra

MSC: 03E72; 03G20

Bibliography

  • [1]

    S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara and V. Marra, Algebraic and Proof-Theoretic Aspects of Non-classical Logics, LNAI 4460, Springer, Berlin, 2007.Google Scholar

  • [2]

    S. Aguzzoli, B. Gerla and V. Marra, Many-valued logic: beyond algebraic semantics, Soft Comput. 16 (2012), 1815–1816.Web of ScienceGoogle Scholar

  • [3]

    A. Amroune, Représentations des algèbres de Łukasiewicz θ-valentes involutives, PhD thesis, University of Claude Bernard (Lyon I), 1991.Google Scholar

  • [4]

    R. Bělohlávek and G. J. Klir, Concepts and Fuzzy Logic, MIT Press, Cambridge, MA/London, UK, 2011.Google Scholar

  • [5]

    G. Birkhouf, Lattice Theory, American Mathematical Society, Providence, RI, 1967.Google Scholar

  • [6]

    V. Boicescu, A. Filipoiu, G. Georgescu and S. Rudeanu, Lukasiewicz-Moisil Algebras, North Holland, Elsevier, Amsterdam, New York, 1991.Google Scholar

  • [7]

    R. Cignoli, The algebras of Lukasiewicz many-valued logic – a historical overview, in: Algebraic and Proof-theoretic Aspects of Non-classical Logics, LNAI 4460, S. Aguzzoli et al., eds., pp. 69–83, Springer, Berlin, 2007.Google Scholar

  • [8]

    J. L. Coulon and J. Coulon, A propos de la représentation des algèbres de Łukasiewicz et des algèbres Booléennes floues, Rev. Roum. Math. Pures Appl. 5 (1989), 403–412.Google Scholar

  • [9]

    M. De Glas, Representation of Łukasiewicz many-valued algebras, the atomic case, Fuzzy Sets Syst. 14 (1984), 175–185.Google Scholar

  • [10]

    M. De Glas, Representation of Łukasiewicz many-valued algebras, J. Math. Anal. Appl. 114 (1986), 315–327.Google Scholar

  • [11]

    R. Diaconescu, Institutional semantics for many-valued logics, Fuzzy Sets Syst. 218 (2013), 32–52.Web of ScienceGoogle Scholar

  • [12]

    G. Georgescu, N-valued logics and Lukasiewicz-Moisil algebras, Axiomathes 16 (2006), 123–136.Google Scholar

  • [13]

    P. Hajek and P. Cintula, On theories and models in fuzzy predicate logics, J. Symb. Logic 71 (2006), 863–880.Google Scholar

  • [14]

    B. Merrie, An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems, Cambridge University Press, Cambridge, 2008.Google Scholar

  • [15]

    G. R. C. Moisil, Notes sur les logiques non-chrysippiennes, Ann. Sci. Univ. Jassy 27 (1941), 86–98.Google Scholar

  • [16]

    Gr. C. Moisil, Ensembles flous et logiques à plusieurs valeurs, Centre de recherche Mathématiques, Université de Montréal, 1973.Google Scholar

  • [17]

    Gr. C. Moisil, Sur l’emploi des mathématiques dans les sciences de l’homme, Accd. Naz. Lincei, Contrib. Centro Linceo Interdisciplinare Sci. Mat. Loro Appl. 17 (1976), 5–31.Google Scholar

  • [18]

    C. V. Negoita and D. A. Ralescu, Applications of Fuzzy Sets to System Analysis, Birkhauser Verlag, Basel, 1975.Google Scholar

  • [19]

    D. Ponasse, Algèbres floues et algèbres de Łukasiewicz, Rev. Roum. Math. Pures Appl. 23 (1978), 103–110.Google Scholar

  • [20]

    S. Rudeanu, On Lukasiewicz-Moisil algebras of fuzzy sets, Stud. Logic. 52 (1993), 95–111.Google Scholar

  • [21]

    B. Schroder, Ordered Sets, 1st Ed., Birkhauser, Boston, MA, 2002.Google Scholar

  • [22]

    M. H. Stone, The theory of representation for Boolean algebras, Trans. Am. Math. Soc. 40 (1936), 37–111.Google Scholar

  • [23]

    L. A. Zadeh, Fuzzy sets, Inform. Control. 8 (1965), 338–353.Google Scholar

About the article

Received: 2014-05-15

Published Online: 2015-02-06

Published in Print: 2016-04-01


Citation Information: Journal of Intelligent Systems, Volume 25, Issue 2, Pages 99–106, ISSN (Online) 2191-026X, ISSN (Print) 0334-1860, DOI: https://doi.org/10.1515/jisys-2014-0096.

Export Citation

©2016 by De Gruyter.Get Permission

Comments (0)

Please log in or register to comment.
Log in