Socratic proofs and paraconsistency: A case study

DOI10.1007/S11225-005-8477-4MaRDI QIDQ813092zbMATH OpenOpenAlexFDO

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

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

logic of questionsparaconsistent logicsSocratic proofs

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Socratic proofs for quantifiers
• Paraconsistent logic, evidence, and justification
• Socratic proofs
• scientific article; zbMATH DE number 2213621
• scientific article; zbMATH DE number 4125369
• On the methodology of paraconsistent logic
• A paraconsistent extension of Sylvan’s logic
• Proof, meaning and paradox: some remarks
• scientific article; zbMATH DE number 1110490

Cites work

• A simplified formalization of predicate logic with identity
• scientific article; zbMATH DE number 1612547 (Why is no real title available?)
• scientific article; zbMATH DE number 4047679 (Why is no real title available?)
• scientific article; zbMATH DE number 3719121 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1303449 (Why is no real title available?)
• scientific article; zbMATH DE number 1463147 (Why is no real title available?)
• scientific article; zbMATH DE number 2096989 (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?)
• Shortcuts and dynamic marking in the tableau method for adaptive logics
• Socratic proofs
• Socratic proofs for quantifiers
• The adaptive logic of compatibility
• The logic of questions as a theory of erotetic arguments

Cited in

(15)

• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• Plato: Parmenides 149a7-c3. A proof by complete induction?
• Socratic proofs
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• A cut-free sequent calculus for defeasible erotetic inferences
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• Socratic proofs for quantifiers
• On Soames's solution to the sorites paradox
• Inquiry, refutations and the inconsistent
• scientific article; zbMATH DE number 5558173 (Why is no real title available?)
• Socratic trees
• scientific article; zbMATH DE number 1463147 (Why is no real title available?)
• Adaptive proofs for networks of partial structures
• The method of Socratic proofs meets correspondence analysis
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)

This page was built for publication: Socratic proofs and paraconsistency: A case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q813092)