Switch to: References

Add citations

You must login to add citations.
  1. The Method of Socratic Proofs Meets Correspondence Analysis.Dorota Leszczyńska-Jasion, Yaroslav Petrukhin & Vasilyi Shangin - 2019 - Bulletin of the Section of Logic 48 (2):99-116.
    The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof systems. (...)
    No categories
    Direct download (2 more)  
    Export citation