Dual erotetic calculi and the minimal LFI

DOI10.1007/S11225-015-9617-0MaRDI QIDQ897482zbMATH OpenOpenAlexWikidataFDO

Authors Szymon Chlebowski, Dorota Leszczyńska-Jasion

Publication date 7 December 2015

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

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

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

Cites work

• scientific article; zbMATH DE number 1612547 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3719121 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 1303449 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 1463147 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 2213620 (Why is no real title available?)
• scientific article; zbMATH DE number 2213621 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A survey of nonstandard sequent calculi
• Intuitionistic Socratic procedures
• Logical foundations for rule-based systems.
• Logics of formal inconsistency
• Natural deduction, hybrid systems and modal logics
• Questions, inferences, and scenarios
• Socratic proofs
• Socratic proofs and paraconsistency: A case study
• Socratic proofs for quantifiers
• Socratic trees
• Structural proof theory. With an appendix by Aarne Ranta
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.

Cited in

(6)

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

Describes a project that uses

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)