A logic of sequentiality

DOI10.1007/978-3-642-15205-4_19MaRDI QIDQ3586044zbMATH OpenOpenAlexFDO

Authors Martin Churchill, James Laird

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15205-4_19

zbMATH Keywords

full completenessgame semanticssequentiality

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Functional programming and lambda calculus (68N18)

Recommendations

• Imperative programs as proofs via game semantics
• A parallel game semantics for linear logic
• A game semantics for linear logic
• Dynamic game semantics
• Games and full completeness for multiplicative linear logic

Cited in

(13)

• Sequential dynamic logic
• scientific article; zbMATH DE number 1722664 (Why is no real title available?)
• Game semantics and uniqueness of type inhabitance in the simply-typed -calculus
• Game semantics for first-order logic
• Imperative programs as proofs via game semantics
• scientific article; zbMATH DE number 2182492 (Why is no real title available?)
• scientific article; zbMATH DE number 2090535 (Why is no real title available?)
• A semantics of evidence for classical arithmetic
• Game semantics and the geometry of backtracking: a new complexity analysis of interaction
• Constructive game logic
• Global state considered helpful
• On the symmetry of sequentiality
• Sequential operators in computability logic

This page was built for publication: A logic of sequentiality

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