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 条
  • [1] The complexity of analytic tableaux
    Arai, Noriko H.
    Pitassi, Toniann
    Urquhart, Alasdair
    JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (03) : 777 - 790
  • [2] ANALYTIC TABLEAUX AND INTERPOLATION
    Kapetanovic, Miodrag
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2007, 82 (96): : 93 - 97
  • [3] Linear analytic tableaux
    Meyer, RK
    McRobbie, MA
    Belnap, N
    THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 278 - 293
  • [4] Analytic tableaux and model elimination
    Coldwell, J
    Wrightson, G
    AUSTRALIAN COMPUTER JOURNAL, 1998, 30 (01): : 1 - 11
  • [5] Database Repairs and Analytic Tableaux
    Leopoldo Bertossi
    Camilla Schwind
    Annals of Mathematics and Artificial Intelligence, 2004, 40 : 5 - 35
  • [6] Database repairs and analytic tableaux
    Bertossi, L
    Schwind, C
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 40 (1-2) : 5 - 35
  • [7] KORNER CRITERION OF RELEVANCE AND ANALYTIC TABLEAUX
    SCHRODER, J
    JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (02) : 183 - 192
  • [8] A TRUNCATION TECHNIQUE FOR CLAUSAL ANALYTIC TABLEAUX
    WRIGHTSON, G
    COLDWELL, J
    INFORMATION PROCESSING LETTERS, 1992, 42 (05) : 273 - 281
  • [9] Analytic Tableaux for all of SIXTEEN 3
    Muskens, Reinhard
    Wintein, Stefan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (05) : 473 - 487
  • [10] The proof complexity of analytic and clausal tableaux
    Massacci, F
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 477 - 487
12345