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 条
  • [21] Analytic Tableaux for Higher-Order Logic with Choice
    Julian Backes
    Chad Edward Brown
    Journal of Automated Reasoning, 2011, 47 : 451 - 479
  • [22] ON THE RELATIVE MERITS OF PATH DISSOLUTION AND THE METHOD OF ANALYTIC TABLEAUX
    MURRAY, NV
    ROSENTHAL, E
    THEORETICAL COMPUTER SCIENCE, 1994, 131 (01) : 1 - 28
  • [23] Analytic Tableaux for Higher-Order Logic with Choice
    Backes, Julian
    Brown, Chad Edward
    JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 451 - 479
  • [24] Constraint Tableaux for Two-Dimensional Fuzzy Logics
    Bilkova, Marta
    Frittella, Sabine
    Kozhemiachenko, Daniil
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 20 - 37
  • [25] A sound and complete CG proof procedure combining projections with analytic tableaux
    Kerdiles, G
    Salvat, E
    CONCEPTUAL STRUCTURES: FULFILLING PEIRCE'S DREAM, 1997, 1257 : 371 - 385
  • [26] Classic-Like Analytic Tableaux for Finite-Valued Logics
    Caleiro, Carlos
    Marcos, Joao
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 268 - +
  • [27] SPECIAL ISSUE ON - AUTOMATED REASONING WITH ANALYTIC TABLEAUX .1. PREFACE
    WRIGHTSON, G
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 173 - 173
  • [28] Free-Variable Semantic Tableaux for the Logic of Fuzzy Inequalities
    A. S. Gerasimov
    Algebra and Logic, 2016, 55 : 103 - 127
  • [29] Free-Variable Semantic Tableaux for the Logic of Fuzzy Inequalities
    Gerasimov, A. S.
    ALGEBRA AND LOGIC, 2016, 55 (02) : 103 - 127
  • [30] Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
    Gore, Rajeev
    Nguyen, Linh Anh
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 268 - +
12345