Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis (Q5038472)
From MaRDI portal
scientific article; zbMATH DE number 7595334
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis |
scientific article; zbMATH DE number 7595334 |
Statements
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis (English)
0 references
30 September 2022
0 references
abductive reasoning in intuitionistic logic
0 references
theorem synthesis
0 references
logic programming and automated reasoning
0 references
theorem provers for intuitionistic propositional logic
0 references
implementing sequent calculi in prolog
0 references
0 references
