The method of Socratic proofs meets correspondence analysis

DOI10.18778/0138-0680.48.2.02MaRDI QIDQ5241406zbMATH OpenOpenAlexWikidataFDO

Authors Dorota Leszczyńska-Jasion, Vasilyi Shangin, Yaroslav I. Petrukhin

Publication date 31 October 2019

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.48.2.02

zbMATH Keywords

classical propositional logiccorrespondence analysisinferential erotetic logicinvertible rulesequent calculusSocratic proofs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure of proofs (03F07)

Recommendations

• Socratic proofs
• Socratic trees
• Functional Completeness in CPL via Correspondence Analysis
• Intuitionistic Socratic procedures
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.

Cites work

• A calculus of antinomics
• A lattice of implicative extensions of regular Kleene's logics
• Automated correspondence analysis for the binary extensions of the logic of paradox
• Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• Completeness via correspondence for extensions of the logic of paradox
• Correspondence analysis for first degree entailment
• Correspondence analysis for logic of rational agent
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Functional Completeness in CPL via Correspondence Analysis
• Generalized correspondence analysis for three-valued logics
• Handbook of philosophical logic. Vol. 8
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3672258 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2096989 (Why is no real title available?)
• scientific article; zbMATH DE number 6418709 (Why is no real title available?)
• scientific article; zbMATH DE number 2213621 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Natural three-valued logics characterized by natural deduction
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Questions, inferences, and scenarios
• Rational agency from a truth-functional perspective
• Socratic proofs
• Socratic proofs and paraconsistency: A case study
• Socratic proofs for quantifiers
• The logic of paradox
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.

Cited in

(6)

• Socratic proofs
• Socratic trees
• Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs
• Non-transitive correspondence analysis
• Revising the elenchus via belief revision
• Correspondence analysis for some fragments of classical propositional logic

This page was built for publication: The method of Socratic proofs meets correspondence analysis

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