Interactive observability in Ludics: the geometry of tests

DOI10.1016/j.tcs.2005.10.042zbMath1086.03049OpenAlexW2059515205MaRDI QIDQ817844

Claudia Faggian

Publication date: 20 March 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.10.042

zbMATH Keywords

linear logicgame semanticsgeometry of interactionLudics

Mathematics Subject Classification ID

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

Related Items

Computational ludics, On the Meaning of Logical Completeness, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Locus Solum: From the rules of logic to the logic of rules
• Thick Subtrees, Games and Experiments
• Abstract Böhm trees