Analytic fuzzy tableaux

被引：3
|
作者：
L. Di Lascio
机构：
[1] DMI – Dipartimento di Matematica ed Informatica,
[2] Università di Salerno,undefined
[3] via S. Allende,undefined
[4] 64,undefined
[5] 84081 Baronissi,undefined
[6] SA,undefined
[7] Italy E-mail: dilascio@unisa.it,undefined
来源：
Soft Computing | 2001年 / 5卷 / 6期
关键词：
Keywords Tableaux, Completeness, Soundness, Fuzzy logic, Fuzzy deductive systems, Decidability;
D O I：
10.1007/s005000100127
中图分类号：
学科分类号：
摘要：
 In this paper Beth–Smullyan's tableaux method is extended to the fuzzy propositional logic. The fuzzy tableaux method is based on the concepts of t-truth and extended graded formula. As in classical logic, it is a refutation procedure. A closed fuzzy tableau beginning with the extended graded formula [r, A] asserting that this is not t-true, is a tableau proof of the graded formula (A, r). The theorems of soundness, completeness, and decidability are proved.
引用
收藏
页码：434 / 439
页数：5
相关论文
共 50 条
  • [41] Tableaux
    Golumbic, Martin Charles
    Sainte-Lague, Andre
    ZEROTH BOOK OF GRAPH THEORY: AN ANNOTATED TRANSLATION OF LES RESEAUX (OU GRAPHES)-ANDRE SAINTE-LAGUE (1926), 2021, 2261 : 45 - 50
  • [42] 'TABLEAUX'
    HOFFMANN, L
    EUROPE-REVUE LITTERAIRE MENSUELLE, 1995, 73 (792) : 162 - 162
  • [43] 'TABLEAUX'
    NICOIDSKI, C
    EUROPE-REVUE LITTERAIRE MENSUELLE, 1988, 66 (715-16) : 194 - 197
  • [44] Fuzzy portfolio selection using fuzzy analytic hierarchy process
    Tiryaki, Fatma
    Ahlatcioglu, Beyza
    INFORMATION SCIENCES, 2009, 179 (1-2) : 53 - 69
  • [45] A constrained fuzzy arithmetic method for the fuzzy analytic network process
    Huang, Jih-Jeng
    Tzeng, Gwo-Hshiung
    FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 3, PROCEEDINGS, 2007, : 401 - 405
  • [46] An analytic fuzzy logic control of robots
    Novakovic, BM
    Crnekovic, M
    Oluic, C
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 403 - 408
  • [47] On the properties and applications of fuzzy analytic equations
    Sabzi, Kh
    Allahviranloo, T.
    Abbasbandy, S.
    FUZZY SETS AND SYSTEMS, 2022, 443 : 241 - 261
  • [48] HESITANT FUZZY ANALYTIC HIERARCHY PROCESS
    Oztaysi, Basar
    Onar, Sezi Cevik
    Bolturk, Eda
    Kahraman, Cengiz
    2015 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2015), 2015,
  • [49] Intuitionistic Fuzzy Analytic Hierarchy Process
    Xu, Zeshui
    Liao, Huchang
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2014, 22 (04) : 749 - 761
  • [50] Fuzzy prioritisation in the Analytic Hierarchy Process
    Mikhailov, L
    Yan, CM
    Harrison, C
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 104 - 107
12345