Logic programming with sequent systems: a linear logic approach

DOI10.1007/BFB0038690MaRDI QIDQ5053003zbMATH OpenOpenAlexFDO

Authors Jean-Marc Andreoli, Remo Pareschi

Publication date 26 November 2022

Published in Extensions of Logic Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Logic programming (68N17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1324432
• Logic Programming with Focusing Proofs in Linear Logic
• Logic programming in a fragment of intuitionistic linear logic
• scientific article; zbMATH DE number 1761892
• scientific article; zbMATH DE number 1104361

Cited in

(6)

• Programs with continuations and linear logic
• On proof normalization in linear logic
• Forward and backward chaining in linear logic. (Extended abstract)
• A game semantics for disjunctive logic programming
• Sequent systems for compact bilinear logic
• Development closed critical pairs

This page was built for publication: Logic programming with sequent systems: a linear logic approach

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