Randomized Game Semantics for Semi-fuzzy Quantifiers (original) (raw)

Abstract

We first show that randomized payoff in classical evaluation games leads to so-called weak Łukasiewicz logic. A further step of generalization results in Giles’s game semantics for full Łukasiewicz logic. Finally we extend the concept of randomization to characterize a family of semi-fuzzy quantifiers embedded into Łukasiewicz logic.

Preview

Unable to display preview. Download preview PDF.

References

  1. Barker, C.: The dynamics of vagueness. Linguistics & Philosophy 25(1), 1–36 (2002)
    Article Google Scholar
  2. Cintula, P., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. College Publications (2011)
    Google Scholar
  3. Cintula, P., Majer, O.: Towards evaluation games for fuzzy logics. In: Majer, O., Pietarinen, A.-V., Tulenheimo, T. (eds.) Games: Unifying Logic, Language, and Philosophy, pp. 117–138. Springer (2009)
    Google Scholar
  4. Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Archive for Mathematical Logic 39, 103–124 (2000)
    Article MathSciNet MATH Google Scholar
  5. Fermüller, C.G.: Revisiting Giles’s game. In: Majer, O., Pietarinen, A.-V., Tulenheimo, T. (eds.) Games: Unifying Logic, Language, and Philosophy. Logic, Epistemology, and the Unity of Science, pp. 209–227. Springer (2009)
    Google Scholar
  6. Fermüller, C.G., Metcalfe, G.: Giles’s game and the proof theory of łukasiewicz logic. Studia Logica 92(1), 27–61 (2009)
    Article MathSciNet MATH Google Scholar
  7. Fermüller, C.G., Roschger, C.: From games to truth functions: A generalization of Giles’s game
    Google Scholar
  8. Giles, R.: A non-classical logic for physics. Studia Logica 33(4), 397–415 (1974)
    Article MathSciNet Google Scholar
  9. Giles, R.: A non-classical logic for physics. In: Wojcicki, R., Malinkowski, G. (eds.) Selected Papers on Łukasiewicz Sentential Calculi, pp. 13–51. Polish Academy of Sciences (1977)
    Google Scholar
  10. Glöckner, I.: Fuzzy quantifiers: a computational theory. STUDFUZZ, vol. 193. Springer (2006)
    Google Scholar
  11. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers (2001)
    Google Scholar
  12. Hájek, P.: What is mathematical fuzzy logic. Fuzzy Sets and Systems 157(157), 597–603 (2006)
    Article MathSciNet MATH Google Scholar
  13. Hintikka, J.: Logic, language-games and information: Kantian themes in the philosophy of logic. Clarendon Press, Oxford (1973)
    MATH Google Scholar
  14. Lorenzen, P.: Logik und Agon. In: Atti Congr. Internaz. di Filosofia, pp. 187–194. Sansoni (1960)
    Google Scholar
  15. Peters, S., Westerståhl, D.: Quantifiers in language and logic. Oxford University Press, USA (2006)
    Google Scholar
  16. Shapiro, S.: Vagueness in context. Oxford University Press, USA (2006)
    Book Google Scholar
  17. Solt, S.: Vagueness in quantity: Two case studies from a linguistic perspective. In: Cintula, P., et al. (eds.) Reasoning under Vagueness - Logical, Philosophical and Linguistic Perspectives. College Publications (2011)
    Google Scholar
  18. van Benthem, J.: Questions about quantifiers. Journal of Symbolic Logic 49(2), 443–466 (1984)
    Article MathSciNet MATH Google Scholar

Download references

Author information

Authors and Affiliations

  1. Theory and Logic Group 185.2, Vienna University of Technology, Vienna, Austria
    Christian G. Fermüller & Christoph Roschger

Authors

  1. Christian G. Fermüller
  2. Christoph Roschger

Editor information

Editors and Affiliations

  1. Faculty of Economics, University of Catania, Corso Italia, 55, 95129, Catania, Italy
    Salvatore Greco & Benedetto Matarazzo &
  2. CNRS UMR 7606, DAPA, LIP6 8, Université Pierre et Marie Curie - Paris6, rue du Capitaine Scott, F-75015, Paris, France
    Bernadette Bouchon-Meunier
  3. Dip. Matematica e Informatica, Università di Perugia, 06123, Perugia, Italy
    Giulianella Coletti
  4. Department of Computer and Management Science, University of Trento, Via Inama 5, 38122, Trento, Italy
    Mario Fedrizzi
  5. Machine Intelligence Institute — IONA College,, 10801, New Rochelle, NY, USA
    Ronald R. Yager

Rights and permissions

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fermüller, C.G., Roschger, C. (2012). Randomized Game Semantics for Semi-fuzzy Quantifiers. In: Greco, S., Bouchon-Meunier, B., Coletti, G., Fedrizzi, M., Matarazzo, B., Yager, R.R. (eds) Advances in Computational Intelligence. IPMU 2012. Communications in Computer and Information Science, vol 300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31724-8\_66

Download citation

Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Publish with us