An algebraic correctness criterion for intuitionistic multiplicative proof-nets

DOI10.1016/S0304-3975(98)00309-0zbMath0930.03094MaRDI QIDQ1960420

Philippe de Groote

Publication date: 12 January 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

phase semanticsproof-netsintuitionistic fragments of multiplicative linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Syllogisms in rudimentary linear logic, diagrammatically

Cites Work

• Unnamed Item
• Linear logic
• The structure of multiplicatives
• The Mathematics of Sentence Structure

This page was built for publication: An algebraic correctness criterion for intuitionistic multiplicative proof-nets