In S. Ghosh & S. Prasad (eds.), Logic and its Applications, Lecture Notes in Computer Science 10119. Springer (2017)

Authors
Ignacio Ojea Quintana
Australian National University
Abstract
The purpose of this essay is to study the extent in which the semantics for different logical systems can be represented game theoretically. I will begin by considering different definitions of what it means to gamify a semantics, and show completeness and limitative results. In particular, I will argue that under a proper definition of gamification, all finitely algebraizable logics can be gamified, as well as some infinitely algebraizable ones (like Łukasiewicz) and some non-algebraizable (like intuitionistic and van Fraassen supervaluation logic).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Equivalential and Algebraizable Logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
Gamification of Labor and the Charge of Exploitation.Tae Kim - 2018 - Journal of Business Ethics 152 (1):27-39.
Algebraization of Non-Structural Logics.Sergio Munoz-Venegas - 2006 - Logic Journal of the IGPL 14 (6):845-866.
Implicit Connectives of Algebraizable Logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1):153-180.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.

Analytics

Added to PP index
2019-11-03

Total views
28 ( #380,357 of 2,433,175 )

Recent downloads (6 months)
4 ( #169,700 of 2,433,175 )

How can I increase my downloads?

Downloads

My notes