Letter to the editor: Consistency of LPC+Ch
Kybernetika, Tome 34 (1998) no. 2, pp. 235-237
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library
In his paper [Kybernetika 31, No. 1, 99–106 (1995; Zbl 0857.03042)], E. Turunen says in the corollary on p. 106:
“Notice that the third last line on page 195 in [J. K. Mattila, “Modifier logic”, in: J. Kacprzyk (ed.) et al., Fuzzy logic for the management of uncertainty. New York: Wiley. 191–209 (1992)] stating that LPC+Ch calculus is consistent is not correct.”
The system LPC+Ch is consistent, which can be seen quite trivially.
In his paper [Kybernetika 31, No. 1, 99–106 (1995; Zbl 0857.03042)], E. Turunen says in the corollary on p. 106:
“Notice that the third last line on page 195 in [J. K. Mattila, “Modifier logic”, in: J. Kacprzyk (ed.) et al., Fuzzy logic for the management of uncertainty. New York: Wiley. 191–209 (1992)] stating that LPC+Ch calculus is consistent is not correct.”
The system LPC+Ch is consistent, which can be seen quite trivially.
@article{KYB_1998_34_2_a9,
author = {Mattila, Jorma K.},
title = {Letter to the editor: {Consistency} of {LPC+Ch}},
journal = {Kybernetika},
pages = {235--237},
year = {1998},
volume = {34},
number = {2},
mrnumber = {1621513},
zbl = {1274.03045},
language = {en},
url = {http://geodesic.mathdoc.fr/item/KYB_1998_34_2_a9/}
}
Mattila, Jorma K. Letter to the editor: Consistency of LPC+Ch. Kybernetika, Tome 34 (1998) no. 2, pp. 235-237. http://geodesic.mathdoc.fr/item/KYB_1998_34_2_a9/
[1] Hughes G. E., Cresswell M. J.: An Introduction to Modal Logic. Methuen, London 1968 (reprinted New York 1985) | MR | Zbl
[2] Mattila J. K.: Modifier logic. In: Fuzzy Logic for the Management of Uncertainty (J. Kacprzyk and L. A. Zadeh, eds.). J. Wiley, New York 1992, pp. 191–209
[3] Mattila J. K.: Modified modus ponens and modal logic. Kybernetika (Supplement) 28 (1992), 28–32 | MR | Zbl
[4] Turunen E.: Algebraic analysis of LPC+Ch calculus. Kybernetika 31 (1995), 1, 99–106 | MR