Linking Game-Theoretical Approaches with Constructive Type Theory

DOI10.1007/978-3-319-19063-1zbMath1439.03004OpenAlexW4238665138MaRDI QIDQ5255002

Nicolas Clerbout, Shahid Rahman

Publication date: 11 June 2015

Published in: SpringerBriefs in Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19063-1

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Axiom of choice and related propositions (03E25) Type theory (03B38)

Related Items (4)

The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ Dialogues, Reasons and Endorsement ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games ⋮ Inconsistency-adaptive dialogical logic

This page was built for publication: Linking Game-Theoretical Approaches with Constructive Type Theory