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

DOI10.1007/S11225-021-09963-0OpenAlexW3210110455MaRDI QIDQ2118976FDOQ2118976

Authors: Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański 

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

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

zbMATH Keywords

abductioninferential erotetic logicminimal logic of formal inconsistency

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)