From primal infon logic with individual variables to Datalog

DOI10.1007/978-3-642-30743-0_6zbMATH Open1357.68212OpenAlexW1870402852MaRDI QIDQ2900510FDOQ2900510

Authors: Nikolaj Bjørner, Guido de Caso, Yuri Gurevich 

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_6

Recommendations

• Propositional primal logic with disjunction
• Hilbertian deductive systems, infon logic, and Datalog
• Logic of infons, the propositional case
• Abstract Hilbertian deductive systems, infon logic, and Datalog
• scientific article; zbMATH DE number 5606348

zbMATH Keywords

translationPIVDataloginfon logic

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites Work

• Hilbertian deductive systems, infon logic, and Datalog

Cited In (6)

• Abstract Hilbertian deductive systems, infon logic, and Datalog
• Logic of infons, the propositional case
• DKAL and Z3: a logic embedding experiment
• Primal Infon Logic: Derivability in Polynomial Time
• Propositional primal logic with disjunction
• Hilbertian deductive systems, infon logic, and Datalog

Uses Software

• Datalog
• DKAL

This page was built for publication: From primal infon logic with individual variables to Datalog

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