From conventional to institution-independent logic programming

zbMATH Open1380.68089MaRDI QIDQ3133180FDOQ3133180

Authors: Ionuţ Ţuţu, José Fiadeiro 

Publication date: 13 February 2018

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

Mathematics Subject Classification ID

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

Cited In (6)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Herbrand theorems in arbitrary institutions
• Title not available (Why is that?)
• Term charters
• A new combination of input and unit deductions for Horn sentences
• Title not available (Why is that?)

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)