Ludics with repetitions (Exponentials, Interactive types and Completeness)

DOI10.2168/LMCS-7(2:13)2011zbMath1218.03025MaRDI QIDQ3003332

Claudia Faggian, Michele Basaldella

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

linear logicinternal completenessgame semanticsludics

Mathematics Subject Classification ID

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

Related Items (9)

Jump from parallel to sequential proofs: exponentials ⋮ Figures of dialogue: a view from ludics ⋮ An approach to innocent strategies as graphs ⋮ Dialogues in Ludics ⋮ Computational ludics ⋮ On the Meaning of Logical Completeness ⋮ Game of grounds ⋮ An interpretation of CCS into ludics ⋮ Unnamed Item

This page was built for publication: Ludics with repetitions (Exponentials, Interactive types and Completeness)