Non-commutative proof construction: a constraint-based approach

DOI10.1016/J.APAL.2006.01.002zbMATH Open1175.03038OpenAlexW2125048030MaRDI QIDQ2503402FDOQ2503402

Authors: Jean-Marc Andreoli, Roberto Maieli, Paul Ruet 

Publication date: 14 September 2006

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2006.01.002

Recommendations

• Connection-based proof construction in non-commutative logic
• scientific article; zbMATH DE number 1231698
• Focussing and proof construction
• Non-commutative logic. III: Focusing proofs.
• scientific article; zbMATH DE number 1405459

zbMATH Keywords

noncommutative logiccyclic linear logicproof constructionlogical sequent calculi

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Logic programming in a fragment of intuitionistic linear logic
• Quantales and (noncommutative) linear logic
• An Efficient Unification Algorithm
• The Mathematics of Sentence Structure
• Une théorie combinatoire des séries formelles
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Title not available (Why is that?)
• Focussing and proof construction
• Uniform proofs as a foundation for logic programming
• Forum: A multiple-conclusion specification logic
• Non-commutative logic. I: The multiplicative fragment
• A proof procedure for the logic of hereditary Harrop formulas
• Non-commutative logic II: sequent calculus and phase semantics
• Non-commutative logic. III: Focusing proofs.
• Title not available (Why is that?)

Cited In (6)

• Cyclic extensions of order varieties
• Title not available (Why is that?)
• Focussing and proof construction
• Connection-based proof construction in non-commutative logic
• Algebraic proofs over noncommutative formulas
• Title not available (Why is that?)

Uses Software

• Lolli

This page was built for publication: Non-commutative proof construction: a constraint-based approach

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