Authors:
Petr Hájek, David Švejda
Title: A strong completeness theorem for finitely axiomatized fuzzy theories
Abstract. The aim of the paper is to prove the strong completeness
theorem for finitely axiomatized theories for Lukasiewicz's
propositional calculus. We also present a better
completeness theorem for finitely axiomatized fuzzy theories
in Rational Pavelka's Logic, which will guarantee the
existence of a proof in a particular degree.
Keywords: multi-valued logic. fuzzy logic, completeness
Mathematics Subject Classification: 03B50, 03B52
HÁJEK, P.—ŠVEJDA, D.: A strong completeness theorem for finitely axiomatized fuzzy theories, Tatra Mt. Math. Publ. 12 (1997), 213–219
Fulltext of the paper