BackSearch
Now showing items 1-4 of 4
Two versions of minimal intuitionism with the CAP. A note
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 2005)
Two Extensions of Lewis'S3 with Peirce's Law
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1999)
Exhaustively axiomatizing RMO with an appropiate extensión of Anderson and Belnap's "strong and natural list of valid entailments"
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1990)
Systems with the converse Ackermann property
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1985)