Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic

Authors:
Luigi Di Lascio
Affiliations:
Università di Salerno, Baronissi, Italia
Venue:
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Year:
2002

Citing 5
Cited 0

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics
Fuzzy logic and arithmetical hierarchy

Fuzzy Sets and Systems
Tableau method for residuated logic

Fuzzy Sets and Systems
First-order logic and automated theorem proving (2nd ed.)

First-order logic and automated theorem proving (2nd ed.)
Fuzzy logic: mathematical tools for approximate reasoning

Fuzzy logic: mathematical tools for approximate reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper a sound and complete tableau system for the Rational Pavelka Logic is introduced. The completeness is proved thanks to fuzzy hilbertian system formulated by Hajek. A fuzzy tableau cut rule is introduced but a cut elimination theorem is proved.