Dialogue Games for Many-Valued Logics — an Overview

Studia Logica 90 (1):43-68 (2008)
  Copy   BIBTEX

Abstract

An overview of different versions and applications of Lorenzen’s dialogue game approach to the foundations of logic, here largely restricted to the realm of manyvalued logics, is presented. Among the reviewed concepts and results are Giles’s characterization of Łukasiewicz logic and some of its generalizations to other fuzzy logics, including interval based logics, a parallel version of Lorenzen’s game for intuitionistic logic that is adequate for finite- and infinite-valued Gödel logics, and a truth comparison game for infinite-valued Gödel logic

Categories

Keywords

Reprint years

DOI

10.1007/s11225-008-9143-4

Links

PhilArchive



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

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

From Games to Truth Functions: A Generalization of Giles’s Game.Christian G. Fermüller & Christoph Roschger - 2014 - Studia Logica 102 (2):389-410.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Review: Rolf Schock, On Finitely Many-Valued Logics; Rolf Schock, On Denumerably Many-Valued Logics; R. Schock, Some Theorems on the Relative Strengths of Many-Valued Logics. [REVIEW]Robert K. Meyer - 1970 - Journal of Symbolic Logic 35 (1):140-142.
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Many-valued modal logics.Melvin C. Fitting - unknown
On axiomatization of many-valued logics associated with formalization of plausible reasonings.O. M. Anshakov, V. K. Finn & D. P. Skvortsov - 1989 - Studia Logica 48 (4):423 - 447.
A Characteristic Model For Some Tabular Many-valued Logics.Marion Mircheva - 1986 - Bulletin of the Section of Logic 15 (4):159-161.
Pseudo two-valued evaluation method for intermediate logics.Tsutomu Hosoi - 1986 - Studia Logica 45 (1):3 - 8.
Factor semantics forn-valued logics.A. S. Karpenko - 1983 - Studia Logica 42 (2-3):179 - 185.
Supporting Argumentation Schemes in Argumentative Dialogue Games.Simon Wells - 2014 - Studies in Logic, Grammar and Rhetoric 36 (1):171-191.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.

Analytics

Added to PP
2009-01-28

Downloads
83 (#201,789)

6 months
16 (#154,579)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
A dialogical route to logical pluralism.Rohan French - 2019 - Synthese 198 (Suppl 20):4969-4989.
Game-theoretic semantics for non-distributive logics.Chrysafis Hartonas - 2019 - Logic Journal of the IGPL 27 (5):718-742.

View all 6 citations / Add more citations

References found in this work

Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.

View all 18 references / Add more references