Logic programming with sequent systems: a linear logic approach

DOI10.1007/BFB0038690zbMATH Open1502.68056OpenAlexW1469104086MaRDI QIDQ5053003FDOQ5053003

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Forward and backward chaining in linear logic. (Extended abstract)
• On proof normalization in linear logic
• Programs with continuations and linear logic
• 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)