An alternative linear semantics for allowed logic programs

DOI10.1016/S0168-0072(96)00038-3zbMATH Open0876.68023OpenAlexW2079189204MaRDI QIDQ676306FDOQ676306

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

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

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)

Cites Work

• Linear logic
• Title not available (Why is that?)

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)