Peirce’s Sequent Proofs of Distributivity

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_13 ◽

2016 ◽

pp. 168-182 ◽

Author(s):

Minghui Ma ◽

Ahti-Veikko Pietarinen

Download Full-text