Abstract
The article provides two kinds of game-theoretical semantics for fuzzy logics with special attention to Łukasiewicz logic. The first one is a generalization of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fuzzy logics as, unlike the standard semantics, it can deal with the so-called non-safe models. The second kind of semantics makes explicit the intuition about fuzzy logics as logics of partial truth and provides a semantics in the form of a bargaining game. Finally, a basic kind of logic of informational independence of a Hintikka-Sandu style is introduced.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Belluce, L. P. and Chang, C. C. (1963). A weak completeness theorem on infinite valued predicate logic. Journal of Symbolic Logic, 28(1):43–50.
Blass, A. (1992). A game semantics for linear logic. Annals of Pure and Applied Logic, 56(1– 3):183–220.
Fermöller, C. G. (2003). Parallel dialogue games and hypersequents for intermediate logics. In Mayer, M. C. and Pirri, F. editors, Proceedings of TABLEAUX Conference 2003, pages 48– 64, Rome.
Hájek, P. (1998). Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic. Kluwer, Dordrecht.
Hájek, P. and Cintula, P. (2006). Triangular norm predicate fuzzy logics. To appear in Proceedings of Linz Seminar 2005.
Hintikka, J. and Sandu, G. (1989). Informational independence as a semantical phenomenon. In Fenstad, J. E., Frolov, I. T., and Hilpinen, R., editors, Proceedings of LMPS, volume 8, pages 571–589. North-Holland, Amsterdam.
Hintikka, J. and Sandu, G. (1997). Game-theoretical semantics. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pages 361–410. Elsevier Science B.V., Oxford, Shannon, Tokyo, MIT Press, Cambridge, MA.
Łukasiewicz, J. (1920). O logice trojwartosciowej. Ruch filozoficzny, 5:170–171. (On Three-Valued Logic).
Mundici, D. (1993). Ulam games, Łukasiewicz logic and AFC*-algebras. Fundamenta Infor-maticae, 18:151–161.
Osborne, M. J. and Rubinstein, A. (1994). A Course in Game Theory. MIT Press, Cambridge, MA.
Sandu, G. (1993). On the logic of informational independence and its applications. Journal of Philosophical Logic, 22:29–60.
Sandu, G. and Pietarinen, A.V. (2001). Partiality and games: propositional logic. Logic Journal of the Interest Group of Pure and Applied Logic, 9:107–127.
von Neumann, J. and Morgenstern, O. (1994). Theory of Games and Economic Behavior. Wiley, New York.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science + Business Media B.V.
About this chapter
Cite this chapter
Cintula, P., Majer, O. (2009). Towards Evaluation Games for Fuzzy Logics. In: Majer, O., Pietarinen, AV., Tulenheimo, T. (eds) Games: Unifying Logic, Language, and Philosophy. Logic, Epistemology, and the Unity of Science, vol 15. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9374-6_6
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9374-6_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9373-9
Online ISBN: 978-1-4020-9374-6
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)