La Semantique Dialogique. Notions Fondamentales Et Elements de Metatheorie
von Nicolas Clerbout
2014 Kartoniert, 206 Seiten, 234mm x 156mm x 12mm, Sprache(n): fre L'approche dialogique fournit une théorie de la signification qui se distingue des paradigmes dominants de la théorie des modèles et de la théorie de la preuve. Du point de vue dialogique, la signification est donnée par l'usage…
Linking Game-Theoretical Approaches with Constructive Type Theory - Dialogical Strategies, CTT dem…
von Shahid Rahman, Nicolas Clerbout
2015 Kartoniert, 124 Seiten, 235mm x 155mm x 8mm, Sprache(n): eng Links two of the most dominant research streams in philosophy of logic - game theory and proof theoryBuilds a link between the two main theories using the dialogical approach to logicFocuses on the logically valid fragment of Cons…
Immanent Reasoning or Equality in Action - A Plaidoyer for the Play Level
von Shahid Rahman, Nicolas Clerbout, Ansten Klev, Zoe McConaughey
2018 Gebunden, 352 Seiten, 241mm x 160mm x 25mm, Sprache(n): eng Proposes a new way to implement interaction in logicProvides an innovative approach on linking Martin-Löf's Constructive Type theory and Dialogical LogicIncludes worked out exercises and examplesThis monograph proposes a new way of…
Immanent Reasoning or Equality in Action - A Plaidoyer for the Play Level
von Shahid Rahman, Nicolas Clerbout, Ansten Klev, Zoe McConaughey
2019 Kartoniert, 352 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng Proposes a new way to implement interaction in logic Provides an innovative approach on linking Martin-Löf's Constructive Type theory and Dialogical Logic Includes worked out exercises and examplesThis monograph proposes a new…
- Autor
- Nicolas Clerbout
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!