Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)

DOI10.1007/978-3-540-74915-8_1MaRDI QIDQ3608397zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Samson Abramsky

Publication date 5 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-74915-8_1

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Event domains, stable functions and proof-nets
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• scientific article; zbMATH DE number 1231581
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• Games and full completeness for multiplicative linear logic

This page was built for publication: Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)

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