Peirce's Sequent Proofs of Distributivity

Minghui Ma, Ahti-Veikko Pietarinen. Peirce's Sequent Proofs of Distributivity. In Sujata Ghosh, Sanjiva Prasad, editors, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Volume 10119 of Lecture Notes in Computer Science, pages 168-182, Springer, 2017. [doi]

Abstract

Abstract is missing.