Fuzzy constructive logic

被引：0
作者：
Zaslavsky I.D. [1 ]
机构：
[1] Institute of Informatics and Automation Problems, Armenian Academy of Sciences, Yerevan
来源：
Journal of Mathematical Sciences | 2009年 / 158卷 / 5期
关键词：
Fuzzy Logic; Constructive Approach; Predicate Calculus; Logical System; True Predicate;
D O I：
10.1007/s10958-009-9410-6
中图分类号：
学科分类号：
摘要：
We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles. © 2009 Springer Science+Business Media, Inc.
引用
收藏
页码：677 / 688
页数：11
相关论文
共 50 条
  • [41] Fuzzy Logic and Education: Teaching the Basics of Fuzzy Logic through an Example (by Way of Cycling)
    Sobrino, Alejandro
    EDUCATION SCIENCES, 2013, 3 (02) : 75 - 97
  • [42] From Classical Logic to Fuzzy Logic and Quantum Logic: A General View
    Nadaban, S.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2021, 16 (01) : 1 - 14
  • [43] Decision-making: a classical logic or a Fuzzy logic?
    Khcherem, Fatma
    Bouri, Abdelfettah
    CREATING GLOBAL ECONOMIES THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: THEORY & PRACTICE, VOLS 1-3, 2009, : 217 - 232
  • [44] Fuzzy logic applied to GNSS
    Gaglione, Salvatore
    Angrisano, Antonio
    Innac, Anna
    Del Pizzo, Silvio
    Maratea, Antonio
    MEASUREMENT, 2019, 136 : 314 - 322
  • [45] On copulas, quasicopulas and fuzzy logic
    Petr Hájek
    Radko Mesiar
    Soft Computing, 2008, 12 : 1239 - 1243
  • [46] Fuzzy Reasoning in Description Logic
    Gasmi, Mohamed
    Bourahla, Mustapha
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2016, 16 (07): : 71 - 82
  • [47] Fuzzy logic in voltage control
    Zhmak, YI
    Manusov, VZ
    Bogomolov, VA
    KORUS 2004, Vol 1, Proceedings, 2004, : 323 - 325
  • [48] Asymmetric Equivalences in Fuzzy Logic
    Hu, Bo
    Bi, Lvqing
    Li, Sizhao
    Dai, Songsong
    SYMMETRY-BASEL, 2017, 9 (10):
  • [49] Fuzzy logic in stuttering therapy
    Department of Computer Science, Wroclaw University of Technology
    Syst Sci, 2006, 1 (105-112):
  • [50] FUZZY LOGIC IN CONSUMER POLICY
    Valaskova, Katarina
    Gregova, Elena
    7TH INTERNATIONAL DAYS OF STATISTICS AND ECONOMICS, 2013, : 1463 - 1472
12345