Non-commutative logic. III: Focusing proofs.

DOI10.1016/S0890-5401(03)00084-1zbMath1072.03035OpenAlexW2127636312MaRDI QIDQ1427855

Paul Ruet, Roberto Maieli

Publication date: 14 March 2004

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0890-5401(03)00084-1

zbMATH Keywords

sequent calculuslinear logicorder varietiesfocalization

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Unnamed Item, Cyclic Extensions of Order Varieties, Non-commutative proof construction: a constraint-based approach, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• On proof normalization in linear logic
• Non-commutative logic. I: The multiplicative fragment
• Uniform proofs as a foundation for logic programming
• The Mathematics of Sentence Structure
• Quantales and (noncommutative) linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Non-commutative logic II: sequent calculus and phase semantics