Dual erotetic calculi and the minimal \(\mathsf{LFI}\)

DOI10.1007/s11225-015-9617-0zbMath1378.03027OpenAlexW824969079WikidataQ59407495 ScholiaQ59407495MaRDI QIDQ897482

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

zbMATH Keywords

inferential erotetic logic\(\mathsf{CLuN}\)\(\mathsf{CLuNs}\)\(\mathsf{mbC}\)dual resolutionproof theory of paraconsistent logics

Mathematics Subject Classification ID

Logic of natural languages (03B65) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Paraconsistent logics (03B53)

Related Items

Automated Generation of Erotetic Search Scenarios, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, An axiomatic account of question evocation: the propositional case, The Method of Socratic Proofs Meets Correspondence Analysis, An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Socratic trees
• Natural deduction, hybrid systems and modal logics
• Socratic proofs and paraconsistency: A case study
• Logical foundations for rule-based systems.
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• Socratic proofs
• A survey of nonstandard sequent calculi
• Socratic proofs for quantifiers
• Intuitionistic Socratic procedures
• Logics of Formal Inconsistency
• A Machine-Oriented Logic Based on the Resolution Principle