Title:
|
On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics (English) |
Author:
|
Novák, Vilém |
Language:
|
English |
Journal:
|
Kybernetika |
ISSN:
|
0023-5954 |
Volume:
|
26 |
Issue:
|
1 |
Year:
|
1990 |
Pages:
|
47-66 |
. |
Category:
|
math |
. |
MSC:
|
03B50 |
MSC:
|
03B52 |
idZBL:
|
Zbl 0705.03009 |
idMR:
|
MR1042231 |
. |
Date available:
|
2009-09-24T18:17:17Z |
Last updated:
|
2012-06-05 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124219 |
. |
Related article:
|
http://dml.cz/handle/10338.dmlcz/124688 |
. |
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] V. Novák: Fuzzy Sets and Their Applications.Adam Hilger, Bristol 1989. MR 1019090 |
Reference:
|
[7] V. Novák, W. Pedrycz: Fuzzy sets and t-norms in the light of fuzzy logic.Internat. J. Man-Mach. Stud. 28 (1988). |
Reference:
|
[8] V. Novák: On the syntactico-semantical completeness of first-order fuzzy logic.Part II: Main results. Kybernetika 26 (1990), No. 2 (to appear). MR 1059796 |
Reference:
|
[9] J. Pavelka: On fuzzy logic I, II, III.Z. Math. Logik Grundlag. Math. 25 (1979), 45-52; 119-134; 447-464. MR 0524558 |
Reference:
|
[10] H. Rasiowa, R. Sikorski: The Mathematics of Meta-mathematics.PWN, Warszawa 1963. |
Reference:
|
[11] J. R. Shoenfield: Mathematical Logic.Addison-Wesley, New York 1967. Zbl 0155.01102, MR 0225631 |
. |