Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos

DOI10.1387/THEORIA.13949zbMath1388.03013OpenAlexW2252792214MaRDI QIDQ5354782

Juan Redmond, Shahid Rahman

Publication date: 4 September 2017

Published in: THEORIA. An International Journal for Theory, History and Foundations of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1387/theoria.13949

zbMATH Keywords

typesinferencegamesdialogical logicconstructivismmeaning pragmatics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ Dialogues, Reasons and Endorsement

This page was built for publication: Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos