| Title:
|
On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results (English) |
| Author:
|
Novák, Vilém |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
26 |
| Issue:
|
2 |
| Year:
|
1990 |
| Pages:
|
134-154 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B50 |
| MSC:
|
03B52 |
| idZBL:
|
Zbl 0705.03010 |
| idMR:
|
MR1059796 |
| . |
| Date available:
|
2009-09-24T18:18:06Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124688 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/124219 |
| . |
| Reference:
|
[1] J. F. Baldwin: Fuzzy logic and fuzzy reasoning.Internat. J. Man-Mach. Stud. 11 (1979), 465-480. Zbl 0418.03014, MR 0542593 |
| Reference:
|
[2] C C. Chang, H. J. Keisler: Continuous Model Theory.Princeton University Press, Princeton 1966. Zbl 0149.00402, MR 0231708 |
| Reference:
|
[3] C C Chang, H. J. Keisler: Model Theory.North-Holland, Amsterdam 1973. Zbl 0276.02032 |
| Reference:
|
[4] B. R. Gainess: Foundations of fuzzy reasoning.Internat. J. Man-Mach. Stud. 8 (1976), 623-668. MR 0574083 |
| Reference:
|
[5] J. A. Goguen: The logic of inexact concepts.Synthese 19 (1968-69), 325-373. |
| Reference:
|
[6] E. Mendelson: Introduction to Mathematical Logic.Van Nostrand, New York 1964. MR 0164867 |
| Reference:
|
[7] V. Novák: Fuzzy Sets and Their Applications.Adam Hilger, Bristol 1989. MR 1019090 |
| Reference:
|
[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. |
| Reference:
|
[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 1042231 |
| Reference:
|
[10] J. Pavelka: On fuzzy logic I, II, III.Z. Math. Logik Grandlag. Math. 25 (1979), 45-52; 119-134; 447-464. MR 0524558 |
| Reference:
|
[11] H. Raisowa, R. Sikorski: The Mathematics of Meta-mathematics.PWN, Warszawa 1963. |
| Reference:
|
[12] J. R. Shoenfield: Mathematical Logic.Addison - Wesley, New York 1967. Zbl 0155.01102, MR 0225631 |
| . |
