Wyniki
-
Constructive R
Jose M. Mendez
Bulletin of the Section of Logic , 16 /4 (1987) s. 167-175 -
Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses
Jose M. Mendez
Bulletin of the Section of Logic , 17 /1 (1988) s. 15-22 -
Urguhart's C with minimal negation
Jose M. Mendez
Bulletin of the Section of Logic , 19 /1 (1990) s. 15-20