Socratic trees

DOI10.1007/s11225-012-9404-0zbMath1325.03070OpenAlexW2914337641MaRDI QIDQ383562

Andrzej Wiśniewski, Mariusz Urbański, Dorota Leszczyńska-Jasion

Publication date: 5 December 2013

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

Full work available at URL: https://doi.org/10.1007/s11225-012-9404-0

zbMATH Keywords

proof theorysequent calculiautomated deductionerotetic logicSocratic transformations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (8)

Automated Generation of Erotetic Search Scenarios ⋮ An axiomatic account of question evocation: the propositional case ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations ⋮ Inferential erotetic logic meets inquisitive semantics ⋮ A survey of nonstandard sequent calculi ⋮ A cut-free sequent calculus for defeasible erotetic inferences ⋮ A Defeasible Calculus for Zetetic Agents

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Socratic proofs and paraconsistency: A case study
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• Handbook of proof theory
• The logic of questions as a theory of erotetic arguments
• Erotetic implications
• Socratic proofs
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• Socratic proofs for quantifiers
• Intuitionistic Socratic procedures
• Taxonomic syntax for first order inference

This page was built for publication: Socratic trees