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.
    Journal of Mathematical Sciences, 2014, 199 (1) : 16 - 35
  • [2] Functional System of the Fuzzy Constructive Logic
    Zaslaysky, Igor D.
    2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 31 - 33
  • [3] Accuracy Improvement of the Estimations Effort in Constructive Cost Model II Based on Logic Model of Fuzzy
    Putri, Rahmi Rizkiana
    Sarno, Riyanarto
    Siahaan, Daniel
    Ahmadiyah, Adhatus Solichah
    Rochimah, Siti
    ADVANCED SCIENCE LETTERS, 2017, 23 (03) : 2478 - 2480
  • [4] A new constructive compound neural networks using fuzzy logic and genetic algorithm 1 - Application to artificial life
    Yan, J
    Tokuda, N
    Miyamichi, J
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (12): : 1507 - 1516
  • [5] Fuzzy reasoning and fuzzy logic
    Wang, GJ
    SOFT COMPUTING IN INTELLIGENT SYSTEMS AND INFORMATION PROCESSING, 1996, : 478 - 483
  • [6] FUZZY LOGIC
    Magenreuter, Reinhard
    MATHEMATICS AND INFORMATICS, 2016, 59 (06): : 657 - 664
  • [7] Fuzzy Interval Value Logic and Fuzzy Distributed Value Logic
    He Xingui(Beijing Institute of System Engineering (BISE)
    JournalofSystemsEngineeringandElectronics, 1997, (02) : 60 - 65
  • [8] Propositional Logic as a Propositional Fuzzy Logic
    Callejas Bedregal, Benjamin Rene
    Cruz, Anderson Paiva
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
  • [9] Fuzzy logic or Lukasiewicz logic: A clarification
    Kundu, S
    Chen, JH
    FUZZY SETS AND SYSTEMS, 1998, 95 (03) : 369 - 379
  • [10] Is Szabolcsi's Logic a Fuzzy Logic?
    Castro-Manzano, J. -Martin
    TOPICOS-REVISTA DE FILOSOFIA, 2025, (71): : 345 - 362
12345