A dialogical route to logical pluralism

DOI10.1007/S11229-019-02404-5zbMath1525.03017OpenAlexW2978528143MaRDI QIDQ6088956

Rohan French

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02404-5

zbMATH Keywords

dialogical logiclogical pluralismprover-skeptic games

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic games: determinacy, completeness, and normalization
• Logical consequence and the paradoxes
• A curious dialogical logic and its composition problem
• What logical pluralism cannot be
• Pluralism and proofs
• Lectures on the Curry-Howard isomorphism
• Dialogue games for many-valued logics -- an overview
• Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules
• Dialogues, strategies, and intuitionistic provability
• The collapse of logical pluralism has been greatly exaggerated
• Early examples of resource-consciousness
• Logical Pluralism
• Varieties of Logic

This page was built for publication: A dialogical route to logical pluralism