A game-based formal system L

Studia Logica 38:49 (1979)
  Copy   BIBTEX

Abstract

A formal system for , based on a game-theoretic analysis of the ukasiewicz prepositional connectives, is defined and proved to be complete. An Herbrand theorem for the predicate calculus (a variant of some work of Mostowski) and some corollaries relating to its axiomatizability are proved. The predicate calculus with equality is also considered.

Categories

Keywords

Reprint years

DOI

10.1007/bf00493672

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Game-Based Formal System for Ł ${}_{\infty}$.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49 - 73.
Game Theoretic Pragmatics.Michael Franke - 2013 - Philosophy Compass 8 (3):269-284.
Appendix 3 Nomic: A Game of Self-Amendment [Note 1].Peter Suber - unknown
Individual Rights and Legal Validity.Martin van Hees - 1996 - Analyse & Kritik 18 (1):81-95.
Partial blocking and associative learning.Anton Benz - 2006 - Linguistics and Philosophy 29 (5):587 - 615.
What Game Theory can do for NLG: the case of vague language.Kees van Deemter - unknown
Game Theory and Language Generation.Kees van Deemter - unknown
A Game-Theoretic Approach to Peer Disagreement.Remco Heesen & Pieter van der Kolk - 2016 - Erkenntnis 81 (6):1345-1368.
Science Studies and the Theory of Games.Jesús P. Zamora Bonilla - 2006 - Perspectives on Science 14 (4):525-557.
An explanation-oriented inquiry dialogue game for expert collaborative recommendations.Qurat-ul-ain Shaheen, Katarzyna Budzynska & Carles Sierra - forthcoming - Argument and Computation:1-36.
Paraconsistent Belief Revision based on a formal consistency operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
A formal account of complex argumentation in a critical discussion.Jacky Visser - unknown
Signalling games, sociolinguistic variation and the construction of style.Heather Burnett - 2019 - Linguistics and Philosophy 42 (5):419-450.
On a Game-Theoretic Approach to a Scientific Language.E. -W. Stachow - 1978 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978 (2):18-40.
A Formal System of Mathematical Programming and Game Theory.Hajime Eto - 1968 - Kagaku Tetsugaku 1:45-54.

Analytics

Added to PP
2009-01-28

Downloads
40 (#395,464)

6 months
6 (#509,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.

Add more references