Dual erotetic calculi and the minimal LFI
DOI10.1007/S11225-015-9617-0zbMATH Open1378.03027OpenAlexW824969079WikidataQ59407495 ScholiaQ59407495MaRDI QIDQ897482FDOQ897482
Szymon Chlebowski, Dorota Leszczyńska-Jasion
Publication date: 7 December 2015
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-015-9617-0
inferential erotetic logic\(\mathsf{CLuN}\)\(\mathsf{CLuNs}\)\(\mathsf{mbC}\)dual resolutionproof theory of paraconsistent logics
Paraconsistent logics (03B53) Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- 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?)
- Title not available (Why is that?)
- Logics of Formal Inconsistency
- A Machine-Oriented Logic Based on the Resolution Principle
- Title not available (Why is that?)
- Title not available (Why is that?)
- Questions, inferences, and scenarios
- Natural deduction, hybrid systems and modal logics
- Title not available (Why is that?)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
- Socratic proofs
- Socratic proofs for quantifiers
- Intuitionistic Socratic procedures
- Socratic trees
- Title not available (Why is that?)
- Socratic proofs and paraconsistency: A case study
- Title not available (Why is that?)
- Logical foundations for rule-based systems.
- A survey of nonstandard sequent calculi
Cited In (5)
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
- An axiomatic account of question evocation: the propositional case
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study
- Automated Generation of Erotetic Search Scenarios
- The Method of Socratic Proofs Meets Correspondence Analysis
Uses Software
This page was built for publication: Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897482)
