2 papers
cs.LO2015
Ludics without Designs I: Triads
Michele Basaldella
In this paper, we introduce the concept of triad. Using this notion, we study, revisit, discover and rediscover some basic properties of ludics from a very general point of view.
cs.LO2014
Infinitary Classical Logic: Recursive Equations and Interactive Semantics
Michele Basaldella
In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic. The formulas of our language are possibly infinitary trees labeled…