Towards an Understanding of Girard's Transcendental Syntax: Syntax by Testing

Vincent L. Rouleau
Through his work in ludics and Geometry of Interaction, Jean-Yves Girard invites us to a change of paradigm in the study of logic: the quest for a transcendental syntax, some kind of idealized language that emerges from the rules of logic. Amongst these rules, "testing" plays a leading role in defining a duality for the interpretation of negation. The present work focuses on a notion of polarity which is a central technique used throughout Girard's...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.