Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

DOI10.1017/S1471068422000254OpenAlexW4283654924WikidataQ113857302 ScholiaQ113857302MaRDI QIDQ5038472

Paul Tarau

Publication date: 30 September 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.05728

zbMATH Keywords

abductive reasoning in intuitionistic logicimplementing sequent calculi in prologlogic programming and automated reasoningtheorem provers for intuitionistic propositional logictheorem synthesis

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity of subclasses of the intuitionistic propositional calculus
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
• Intuitionistic Decision Procedures Since Gentzen
• Contraction-free sequent calculi for intuitionistic logic
• Strongly equivalent logic programs

This page was built for publication: Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis