An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)

DOI10.1007/s11225-021-09963-0OpenAlexW3210110455MaRDI QIDQ2118976

Andrzej Gajda, Mariusz Urbański, Szymon Chlebowski

Publication date: 23 March 2022

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09963-0

zbMATH Keywords

abductioninferential erotetic logicminimal logic of formal inconsistency

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Rasiowa-Sikorski deduction systems with the rule of cut: a case study

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abductive reasoning. Logical investigations into discovery and explanation
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Socratic proofs
• Abductive reasoning in neural-symbolic systems
• Socratic proofs for quantifiers
• Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation
• On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
• Surviving Abduction
• Logics of Formal Inconsistency
• Abductive Logic Programming
• Abduction and induction. Essays on their relation and integration