Facebook Instagram Twitter RSS Feed PodBean Back to top on side

A strong completeness theorem for finitely axiomatized fuzzy theories

In: Tatra Mountains Mathematical Publications, vol. 12, no. 3
Petr Hájek - David Švejda
Detaily:
Rok, strany: 1997, 213 - 219
O článku:
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.
Ako citovať:
ISO 690:
Hájek, P., Švejda, D. 1997. A strong completeness theorem for finitely axiomatized fuzzy theories. In Tatra Mountains Mathematical Publications, vol. 12, no.3, pp. 213-219. 1210-3195.

APA:
Hájek, P., Švejda, D. (1997). A strong completeness theorem for finitely axiomatized fuzzy theories. Tatra Mountains Mathematical Publications, 12(3), 213-219. 1210-3195.