Proof net semantics of proof search computation

DOI10.1007/BFB0027011MaRDI QIDQ4364375zbMATH OpenFDO

Authors Luís Caires, Luís Monteiro

Publication date 15 April 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0027011

zbMATH Keywords

interaction of agentslinear logic-based languageoperational equivalencepartial order semanticsproof netsproof-search computationsemantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Proof-search and proof nets in mixed linear logic
• Notes towards a semantics for proof-search
• scientific article; zbMATH DE number 937366
• Coherent models of proof nets

Cited in

(4)

• Proof search on bilateralist judgments over non-deterministic semantics
• Notes towards a semantics for proof-search
• scientific article; zbMATH DE number 1759674 (Why is no real title available?)
• Deep Proof Search in MELL

This page was built for publication: Proof net semantics of proof search computation

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