Logic programming in a fragment of intuitionistic temporal linear logic

DOI10.1007/3-540-45635-X_29MaRDI QIDQ4736522zbMATH OpenFDO

Authors Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2237/22370315.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Logic programming in a fragment of intuitionistic linear logic
• scientific article; zbMATH DE number 1420807
• Temporal logic programming
• Logical foundation for logic programming based on first order linear temporal logic
• Forward and backward chaining in linear logic. (Extended abstract)

Cited in

(8)

• Linear logic in computer science
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Linear and affine logics with temporal, spatial and epistemic operators
• A temporal logic approach to binding-time analysis
• Coordination: Reo, Nets, and Logic
• A tag-frame system of resource management for proof search in linear-logic programming
• Logic Programming
• Implementing efficient resource management for linear logic programming

This page was built for publication: Logic programming in a fragment of intuitionistic temporal linear logic

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