Volume 14, Issue 3, Septiembre 1999
Francisco Salto, José M. Méndez
Two Extensions of Lewis’ S3 with Peirce’s Law
We define two extensions of Lewis’ S3 with two versions of Peirce’s Law. We prove that both of them have the Ackermann Property.