6 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2014★ 2 cited
Study of Behaviours via Visitable Paths
Christophe Fouqueré, Myriam Quatrini
Around 2000, J.-Y. Girard developed a logical theory, called Ludics. This theory was a step in his program of Geometry of Interaction, the aim of which being to account for the dyn…
cs.LO2013★ 6 cited
Incarnation in Ludics and maximal cliques of paths
Myriam Quatrini, Christophe Fouqueré
Ludics is a reconstruction of logic with interaction as a primitive notion, in the sense that the primary logical concepts are no more formulas and proofs but cut-elimination inter…
cs.CL2009
Ludics and its Applications to natural Language Semantics
Alain Lecomte, Myriam Quatrini
Proofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are…