Towards Ludics Programming: Interactive Proof Search

DOI10.1007/978-3-540-89982-2_27MaRDI QIDQ5504660zbMATH OpenOpenAlexFDO

Authors Alexis Saurin

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_27

zbMATH Keywords

game semanticsinteractionlogic programmingludicsproof normalizationproof search

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Logic programming (68N17)

Recommendations

• Ludics and natural language: first approaches
• From Foundations to Ludics
• Automata, Languages and Programming
• Locus solum: From the rules of logic to the logic of rules.
• scientific article; zbMATH DE number 2110616

Cites work

• A game semantics for proof search (preliminary results)
• An infinite-game semantics for well-founded negation in logic programming
• First order in Ludics
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 1696767 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1342255 (Why is no real title available?)
• scientific article; zbMATH DE number 1948178 (Why is no real title available?)
• scientific article; zbMATH DE number 1948179 (Why is no real title available?)
• scientific article; zbMATH DE number 2095713 (Why is no real title available?)
• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Logic Programming with Focusing Proofs in Linear Logic
• Negation and control in PROLOG
• On full abstraction for PCF: I, II and III
• Quantitative deduction and its fixpoint theory
• Uniform proofs as a foundation for logic programming

Cited in

(7)

• scientific article; zbMATH DE number 1629956 (Why is no real title available?)
• Locus solum: From the rules of logic to the logic of rules.
• From Foundations to Ludics
• An Interactive Driver for Goal-directed Proof Strategies
• Automata, Languages and Programming
• Proof and refutation in MALL as a game
• Interactive observability in Ludics: the geometry of tests

This page was built for publication: Towards Ludics Programming: Interactive Proof Search

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