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 条
12345