First order in Ludics

DOI10.1017/S0960129503004134zbMath1047.03023OpenAlexW1972560493MaRDI QIDQ4819363

Myriam Quatrini, Marie-Renée Fleury

Publication date: 24 September 2004

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129503004134

zbMATH Keywords

completenessdesignsproofsLudicssemantics of formulas with first-order quantifications

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

Ludics and Its Applications to Natural Language Semantics ⋮ Game of grounds ⋮ Towards Ludics Programming: Interactive Proof Search

This page was built for publication: First order in Ludics