An alternative linear semantics for allowed logic programs

DOI10.1016/S0168-0072(96)00038-3MaRDI QIDQ676306zbMATH OpenOpenAlexFDO

Authors John S. Jeavons

Publication date 12 November 1997

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

Full work available at URL https://doi.org/10.1016/s0168-0072(96)00038-3

zbMATH Keywords

declarative semanticsGirard's linear logic

Mathematics Subject Classification ID

Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Recommendations

• A Linear-Logic Semantics for Constraint Handling Rules
• An effective fixpoint semantics for linear logic programs
• Logic programming in a fragment of intuitionistic linear logic
• On the relations between disjunctive and linear logic programming

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• Linear logic

Cited in

(2)

• On the algebraic structure of declarative programming languages
• An effective fixpoint semantics for linear logic programs

This page was built for publication: An alternative linear semantics for allowed logic programs

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