scientific article; zbMATH DE number 2134912

zbMath1079.03019MaRDI QIDQ4650578

No author found.

Publication date: 18 February 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logiclogic programmingHorn clause logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (8)

Syntactic Completeness of Proper Display Calculi ⋮ A categorical semantics for polarized MALL ⋮ RASP and ASP as a fragment of linear logic ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ Preface to the special volume ⋮ LMNtal as a hierarchical logic programming language ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic

This page was built for publication: