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 条
  • [1] Extended Fuzzy Constructive Logic
    Zaslavsky I.D.
    [J]. Journal of Mathematical Sciences, 2014, 199 (1) : 16 - 35
  • [2] Functional System of the Fuzzy Constructive Logic
    Zaslaysky, Igor D.
    [J]. 2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 31 - 33
  • [3] Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
    Strass, Hannes
    Munoz-Hernandez, Susana
    Pablos Ceruelo, Victor
    [J]. PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, 2009, : 1827 - 1832
  • [4] Justification logic for constructive modal logic
    Kuznets, Roman
    Marin, Sonia
    Straßburger, Lutz
    [J]. Journal of Applied Logics, 2021, 8 (08): : 2313 - 2332
  • [5] JUSTIFICATION LOGIC FOR CONSTRUCTIVE MODAL LOGIC
    Kuznets, Roman
    Marin, Sonia
    Strassburger, Lutz
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2313 - 2332
  • [6] CONSTRUCTIVE LUKASIEWICZIAN LOGIC
    WOODRUFF, PW
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 390 - 390
  • [7] Constructive Game Logic
    Bohrer, Brandon
    Platzer, Andre
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 84 - 111
  • [8] Constructive sufficient conditions for fuzzy logic controllers to approximate C1 functions
    Chen, WT
    [J]. PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 1561 - 1565
  • [9] NEGATION IN LOGIC PROGRAMMING - A FORMALIZATION IN CONSTRUCTIVE LOGIC
    BRY, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 474 : 30 - 46
  • [10] Constructive Logic with Strong Negation as a Substructural Logic
    Busaniche, Manuela
    Cignoli, Roberto
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (04) : 761 - 793
12345