On the relations between disjunctive and linear logic programming

DOI10.1016/S1571-0661(04)00150-1MaRDI QIDQ4923519zbMATH OpenFDO

Authors Marco Bozzano, Giorgio Delzanno, M. Martelli

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)00150-1

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• An effective fixpoint semantics for linear logic programs
• Logic programming in a fragment of intuitionistic linear logic
• Publication:4940934
• A fixpoint semantics for disjunctive logic programs
• The least fixpoint transformation for disjunctive logic programs

Cites work

• An effective fixpoint semantics for linear logic programs
• Forum: A multiple-conclusion specification logic
• scientific article; zbMATH DE number 1693040 (Why is no real title available?)
• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• scientific article; zbMATH DE number 1158758 (Why is no real title available?)
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Parallel program schemata
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(4)

• scientific article; zbMATH DE number 1693040 (Why is no real title available?)
• scientific article; zbMATH DE number 1407679 (Why is no real title available?)
• On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
• An alternative linear semantics for allowed logic programs

This page was built for publication: On the relations between disjunctive and linear logic programming

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