From conventional to institution-independent logic programming

MaRDI QIDQ3133180zbMATH OpenFDO

Authors Ionuţ Ţuţu, José Fiadeiro

Publication date 13 February 2018

Mathematics Subject Classification ID

Logic programming (68N17) Categorical logic, topoi (03G30)

Recommendations

• Herbrand theorems in arbitrary institutions
• Institutions for logic programming
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Foundations of Logic Programming in Hybridised Logics
• scientific article; zbMATH DE number 1200168

Cited in

(6)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Herbrand theorems in arbitrary institutions
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• A new combination of input and unit deductions for Horn sentences
• Term charters
• scientific article; zbMATH DE number 1822447 (Why is no real title available?)

This page was built for publication: From conventional to institution-independent logic programming

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