Constructive Type Theory and the Dialogical Approach to Meaning

@article{Rahman2013ConstructiveTT,
  title={Constructive Type Theory and the Dialogical Approach to Meaning},
  author={Shahid Rahman and Nicolas Clerbout},
  journal={The Baltic International Yearbook of Cognition, Logic and Communication},
  year={2013},
  volume={8},
  pages={1-72}
}
. November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org 
...
1
2
3
...

References

SHOWING 1-10 OF 52 REFERENCES
Game-Theoretical Semantics
Propositions as games as types
Concurrent games and full completeness
Information and Knowledge, A Constructive Type-theoretical Approach
  • G. Primiero
  • Computer Science, Mathematics
  • Logic, Epistemology, and the Unity of Science
  • 2008
First-Order Dialogical Games and Tableaux
From Games to Dialogues and Back
On Some Logic Games in Their Philosophical Context
A Game Semantics for Linear Logic
  • A. Blass
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 1992
Exploring logical dynamics
  • J. Benthem
  • Mathematics, Computer Science
  • Studies in logic, language and information
  • 1996
Treatise on Intuitionistic Type Theory
  • J. Granström
  • Mathematics, Computer Science
  • Logic, Epistemology, and the Unity of Science
  • 2011
...
1
2
3
4
5
...