First order in Ludics

DOI10.1017/S0960129503004134MaRDI QIDQ4819363zbMATH OpenOpenAlexFDO

Authors Marie-Renée Fleury, Myriam Quatrini

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)

Recommendations

• First-order dialogical games and tableaux
• FIRST-ORDER ACTIONS: A NEW VIEW
• scientific article; zbMATH DE number 177633
• ORDINAL GAMES
• Ordered Fragments of First-Order Logic
• scientific article; zbMATH DE number 2110616
• scientific article; zbMATH DE number 2134915
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 7592011
• scientific article; zbMATH DE number 1028229

Cited in

(10)

• Study of behaviours via visitable paths
• Computational ludics
• scientific article; zbMATH DE number 1948179 (Why is no real title available?)
• scientific article; zbMATH DE number 2110616 (Why is no real title available?)
• Ludics and Its Applications to Natural Language Semantics
• Towards Ludics Programming: Interactive Proof Search
• Locus solum: From the rules of logic to the logic of rules.
• On the meaning of logical completeness
• Game of grounds
• Commutative Locative Quantifiers for Multiplicative Linear Logic

This page was built for publication: First order in Ludics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819363)