Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

@inproceedings{Clerbout2015LinkingGA,
  title={Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice},
  author={Nicolas Clerbout and Shahid Rahman},
  year={2015}
}
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The… Expand
Introducing consistency in a dialogical framework for paraconsistent logic
...
1
2
3
...

References

SHOWING 1-10 OF 87 REFERENCES
Dialogues as a Dynamic Framework for Logic
A Game Semantics for Linear Logic
  • A. Blass
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 1992
On Dialogues and Natural Deduction
Why Play Logical Games?
  • Mathieu Marion
  • Computer Science
  • Games: Unifying Logic, Language, and Philosophy
  • 2009
Figures of dialogue: a view from Ludics
Propositions as games as types
Implicit Epistemic Aspects of Constructive Logic
  • G. Sundholm
  • Philosophy, Computer Science
  • J. Log. Lang. Inf.
  • 1997
Negation in the Logic of First Degree Entailment and Tonk
  • Shahid Rahman
  • Computer Science
  • The Realism-Antirealism Debate in the Age of Alternative Logics
  • 2012
...
1
2
3
4
5
...