Dual erotetic calculi and the minimal LFI

DOI10.1007/S11225-015-9617-0zbMATH Open1378.03027OpenAlexW824969079WikidataQ59407495 ScholiaQ59407495MaRDI QIDQ897482FDOQ897482

Authors: 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

Recommendations

• Calculizing classical inferential erotetic logic
• Socratic proofs and paraconsistency: A case study
• Socratic proofs
• scientific article; zbMATH DE number 4027425
• scientific article; zbMATH DE number 5050044

zbMATH Keywords

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

Mathematics Subject Classification ID

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 (6)

• An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
• Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction
• The method of Socratic proofs meets correspondence analysis
• An axiomatic account of question evocation: the propositional case
• Calculizing classical inferential erotetic logic
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study

Uses Software

• Pesca

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)