Title:
|
The algebra of first-order fuzzy logic (English) |
Author:
|
Turunen, Esko |
Language:
|
English |
Journal:
|
Kybernetika |
ISSN:
|
0023-5954 |
Volume:
|
28 |
Issue:
|
6 |
Year:
|
1992 |
Pages:
|
506-511 |
. |
Category:
|
math |
. |
MSC:
|
03B50 |
MSC:
|
03B52 |
MSC:
|
03G10 |
MSC:
|
06D30 |
idZBL:
|
Zbl 0776.03010 |
idMR:
|
MR1204599 |
. |
Date available:
|
2009-09-24T18:35:02Z |
Last updated:
|
2012-06-06 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125348 |
. |
Reference:
|
[1] L. P. Belluce: Semisimple and complete MV-algebras (to appear). MR 1345638 |
Reference:
|
[2] L.P. Belluce: Semisimple algebras of infinite valued logic and bold fuzzy set theory.Can. J. Math. 6 (1986), 1356-1379. Zbl 0625.03009, MR 0873417 |
Reference:
|
[3] L. P. Belluce A. Di Nola, S. Sessa: Triangular norms, MV-algebras and bold fuzzy se theory (to appear). MR 1109234 |
Reference:
|
[4] C. C. Chang: Algebraic analysis of many-valued logics.Trans. Amer. Math. Soc. 88 (1958), 467-490. Zbl 0084.00704, MR 0094302 |
Reference:
|
[5] C. C. Chang: A new proof of the completeness of Lukasiewicz axioms.Trans. Amer. Math. Soc. 93 (1959), 74-80. MR 0122718 |
Reference:
|
[6] J.M. Font J. A. Rodrigues, A. Torres: Wajsberg algebras.Stochastica 8 (1984), 1, 5-31. MR 0780136 |
Reference:
|
[7] C.S. Hoo: MV-algebras, ideals and semisimplicity.Math. Japon 34 (1989), 4, 563-583. Zbl 0677.03041, MR 1005257 |
Reference:
|
[8] D. Mundici: Interpretation of AFC*-algebras in Lukasiewicz sentential calculus.J. Funct. Anal. 65 (1986), 1, 15-63. MR 0819173 |
Reference:
|
[9] D. Mundici: Mapping Abelian 1-group with strong unit one-one into MV-algebras.J. Algebra 98 (1986), 76-81. MR 0825135 |
Reference:
|
[10] D. Mundici: The C*-algebras of three-valued logic.In: Logic Colloquium 88 (Ferro, Bonotto, Valentin and Zanardo, eds.), pp. 61-77. MR 1015319 |
Reference:
|
[11] D. Mundici: The derivative of truth in Lukasiewicz sentential calculus.Contemporary Math. 69 (1988), 209-227. Zbl 0648.03011, MR 0933811 |
Reference:
|
[12] A. Di Nola: Representation and reticulation by quontients of MV-algebras.Manuscript. |
Reference:
|
[13] V. Novák: On the syntactico-semantical completeness of first-order fuzzy logic.Kybernetika 26 (1990), 1, 47-66; 2, 134-154. |
Reference:
|
[14] J. Pavelka: On fuzzy logic I, II, III.Z. Math. Logik Grundlag. Math. 25 (1979), 42-52; 119-134; 447-464. |
Reference:
|
[15] H. Raisowa, R. Sikorski: The Mathematics of Metamathematics.PWN, Warszawa 1963. |
Reference:
|
[16] L. A. Zadeh: Fuzzy sets.Inform, and Control 8 (1965), 338-353. Zbl 0139.24606, MR 0219427 |
. |