An abductive Question-Answer System for the minimal logic of formal inconsistency mbC

DOI10.1007/S11225-021-09963-0MaRDI QIDQ2118976zbMATH OpenOpenAlexFDO

Authors Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański

Publication date 23 March 2022

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• A Formal Logic for Abductive Reasoning
• Surviving Abduction
• The generation of abductive explanations from inconsistent theories
• scientific article; zbMATH DE number 820414
• Let Us investigate! Dynamic conjecture-making as the formal logic of abduction

Cites work

• scientific article; zbMATH DE number 4016868 (Why is no real title available?)
• scientific article; zbMATH DE number 3719121 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 1435792 (Why is no real title available?)
• scientific article; zbMATH DE number 2209173 (Why is no real title available?)
• Abduction and induction. Essays on their relation and integration
• Abductive Logic Programming
• Abductive reasoning in neural-symbolic systems
• Abductive reasoning. Logical investigations into discovery and explanation
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Identifying efficient abductive hypotheses using multicriteria dominance relation
• Logics of formal inconsistency
• On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
• Questions, inferences, and scenarios
• Socratic proofs
• Socratic proofs for quantifiers
• Surviving Abduction

Cited in

(1)

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

This page was built for publication: An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)

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