Geodesic
Modified modus ponens and modal logic
Kybernetika, Tome 28 (1992), pp. 28-32
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B45 
@article{KYB_1992_28_Suppl_a5,
     author = {Mattila, Jorma K.},
     title = {Modified modus ponens and modal logic},
     journal = {Kybernetika},
     pages = {28--32},
     year = {1992},
     volume = {28},
     number = {Suppl},
     mrnumber = {1226047},
     zbl = {0861.03011},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1992_28_Suppl_a5/}
}
TY  - JOUR
AU  - Mattila, Jorma K.
TI  - Modified modus ponens and modal logic
JO  - Kybernetika
PY  - 1992
SP  - 28
EP  - 32
VL  - 28
IS  - Suppl
UR  - http://geodesic.mathdoc.fr/item/KYB_1992_28_Suppl_a5/
LA  - en
ID  - KYB_1992_28_Suppl_a5
ER  - 
%0 Journal Article
%A Mattila, Jorma K.
%T Modified modus ponens and modal logic
%J Kybernetika
%D 1992
%P 28-32
%V 28
%N Suppl
%U http://geodesic.mathdoc.fr/item/KYB_1992_28_Suppl_a5/
%G en
%F KYB_1992_28_Suppl_a5
Mattila, Jorma K. Modified modus ponens and modal logic. Kybernetika, Tome 28 (1992), pp. 28-32. http://geodesic.mathdoc.fr/item/KYB_1992_28_Suppl_a5/

[1] G.E. Hughers, M.J. Cress well: An Introduction to Modal Logic. Methuen and Co., 1985.

[2] S.A. Kripke: Semantical considerations on modal logic. Acta Phil. Fenn. XVI, 1963. | MR | Zbl

[3] C. Lakoff: Hedges: A study in meaning criteria and the logic of fuzzy concepts. J. Philos. Logic 2 1973. | MR | Zbl

[4] E.J. Lemmon: An Introduction to Modal Logic. American Philosophical Quarterly, Monograph No. 11 ( K. Segerberg, ed.), Oxford 1977. | MR | Zbl

[5] J.K. Mattila: Proof-theoretical aspects of fuzzy logic. In: Recent Developments in the Theory and Applications of Fuzzy Sets (Bandler and Kandel, eds.), Proceedings of North American Fuzzy Information Processing Society NAFIPS'86 Conference, New Orleans, Lousiana, June 2-4, 1986, pp. 386 - 398.

[6] J.K. Mattila: Calculus of Modifier Operators in Fuzzy Logic. Publications of the Institute for Applied Mathematics No. 14, University of Turku, Turku, Finland 1989. | MR

[7] J. K. Mattila: The construction of a propositional modifier logic. Lappeenranta University of Tech- nology, Department of Information Technology, Research Report No. 21, Lappeenranta, Finland 1990. | Zbl