Abstract Hilbertian deductive systems, infon logic, and Datalog

DOI10.1016/j.ic.2013.08.003zbMath1358.03038OpenAlexW2123010441MaRDI QIDQ393078

Yuri Gurevich, Andreas Blass

Publication date: 16 January 2014

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2013.08.003

zbMATH Keywords

infon logicDatalogHilbertian deductive systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) Logic programming (68N17) Abstract deductive systems (03B22)

Uses Software

• Ltur
• Datalog
• DKAL

Cites Work

• Unnamed Item
• Unnamed Item
• LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
• From Primal Infon Logic with Individual Variables to Datalog
• Logic of infons
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Unification as a complexity measure for logic programming

This page was built for publication: Abstract Hilbertian deductive systems, infon logic, and Datalog