Socratic proofs and paraconsistency: A case study

DOI10.1007/s11225-005-8477-4zbMath1104.03018OpenAlexW2013594952MaRDI QIDQ813092

Dorota Leszczyńska, Guido Vanackere, Andrzej Wiśniewski

Publication date: 30 January 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-8477-4

zbMATH Keywords

paraconsistent logicslogic of questionsSocratic proofs

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

Socratic trees, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, Dual erotetic calculi and the minimal \(\mathsf{LFI}\), A loop-free decision procedure for modal propositional logics K4, S4 and S5, Socratic proofs for quantifiers, A cut-free sequent calculus for defeasible erotetic inferences, The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G., The Method of Socratic Proofs Meets Correspondence Analysis

Cites Work

• The logic of questions as a theory of erotetic arguments
• The adaptive logic of compatibility
• Socratic proofs
• Socratic proofs for quantifiers
• A simplified formalization of predicate logic with identity
• Shortcuts and dynamic marking in the tableau method for adaptive logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item