@article{KYB_1990_26_2_a3,
author = {Nov\'ak, Vil\'em},
title = {On the syntactico-semantical completeness of first-order fuzzy logic. {II.} {Main} results},
journal = {Kybernetika},
pages = {134--154},
year = {1990},
volume = {26},
number = {2},
mrnumber = {1059796},
zbl = {0705.03010},
language = {en},
url = {http://geodesic.mathdoc.fr/item/KYB_1990_26_2_a3/}
}
Novák, Vilém. On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results. Kybernetika, Tome 26 (1990) no. 2, pp. 134-154. http://geodesic.mathdoc.fr/item/KYB_1990_26_2_a3/
[1] J. F. Baldwin: Fuzzy logic and fuzzy reasoning. Internat. J. Man-Mach. Stud. 11 (1979), 465-480. | MR | Zbl
[2] C C. Chang, H. J. Keisler: Continuous Model Theory. Princeton University Press, Princeton 1966. | MR | Zbl
[3] C C Chang, H. J. Keisler: Model Theory. North-Holland, Amsterdam 1973. | Zbl
[4] B. R. Gainess: Foundations of fuzzy reasoning. Internat. J. Man-Mach. Stud. 8 (1976), 623-668. | MR
[5] J. A. Goguen: The logic of inexact concepts. Synthese 19 (1968-69), 325-373.
[6] E. Mendelson: Introduction to Mathematical Logic. Van Nostrand, New York 1964. | MR
[7] V. Novák: Fuzzy Sets and Their Applications. Adam Hilger, Bristol 1989. | MR
[8] V. Novák, W. Pedrycz: Fuzzy sets and t-norms in the light of fuzzy logic. Internat. J. Man-Mach. Stud. 29 (1988), 113-127.
[9] V. Novák: On the syntactico-semantical completeness of first-order fuzzy logic. Part I: Syntax and semantics. Kybernetika 26 (1990), 1, 47-66. | MR
[10] J. Pavelka: On fuzzy logic I, II, III. Z. Math. Logik Grandlag. Math. 25 (1979), 45-52; 119-134; 447-464. | MR
[11] H. Raisowa, R. Sikorski: The Mathematics of Meta-mathematics. PWN, Warszawa 1963.
[12] J. R. Shoenfield: Mathematical Logic. Addison - Wesley, New York 1967. | MR | Zbl