An effective fixpoint semantics for linear logic programs

DOI10.1017/S1471068402001254MaRDI QIDQ4452612zbMATH OpenOpenAlexFDO

Authors Marco Bozzano, Giorgio Delzanno, M. Martelli

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068402001254

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Fixpoint semantics for logic programming a survey
• scientific article; zbMATH DE number 1693040
• A fixpoint semantics for disjunctive logic programs
• An alternative linear semantics for allowed logic programs
• Logic Programming with Focusing Proofs in Linear Logic
• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• scientific article; zbMATH DE number 1740317
• On Greatest Fixpoint Semantics of Logic Programming
• Approximation fixpoint theory and the well-founded semantics of higher-order logic programs

Cited in

(11)

• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• Logical approximation for program analysis
• Fixpoint semantics for logic programming a survey
• On the relations between disjunctive and linear logic programming
• scientific article; zbMATH DE number 1693040 (Why is no real title available?)
• A semantic approach to optimize linear datalog programs
• Linear Logical Algorithms
• Making assumptions in the automated derivation
• A semantic approach for web reasoning
• scientific article; zbMATH DE number 5244180 (Why is no real title available?)
• Model checking linear logic specifications

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: An effective fixpoint semantics for linear logic programs

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