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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abductive Logic Programming
• Abductive reasoning. Logical investigations into discovery and explanation
• Logics of Formal Inconsistency
• Questions, inferences, and scenarios
• Socratic proofs
• Socratic proofs for quantifiers
• Abduction and induction. Essays on their relation and integration
• 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)