An alternative linear semantics for allowed logic programs

DOI10.1016/S0168-0072(96)00038-3zbMath0876.68023OpenAlexW2079189204MaRDI QIDQ676306

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 in computer science (03B70) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

On the algebraic structure of declarative programming languages

Cites Work

• Unnamed Item
• Linear logic