Analytic fuzzy tableaux |
| |
Authors: | L Di Lascio |
| |
Affiliation: | (1) DMI – Dipartimento di Matematica ed Informatica, Università di Salerno, via S. Allende, 64, 84081 Baronissi, SA, Italy E-mail: dilascio@unisa.it, IT |
| |
Abstract: | 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. |
| |
Keywords: | Tableaux Completeness Soundness Fuzzy logic Fuzzy deductive systems Decidability |
本文献已被 SpringerLink 等数据库收录! |
|