Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Sign Up to like & getrecommendations! Published in 2022 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068422000254
Abstract: Abstract With help of a compact Prolog-based theorem prover for Intuitionistic Propositional Logic, we synthesize minimal assumptions under which a given formula formula becomes a theorem. After applying our synthesis algorithm to cover basic abductive… read more here.
Keywords: reasoning intuitionistic; intuitionistic propositional; abductive reasoning; synthesis ... See more keywords