Exhaustively axiomatizing RMO with an appropiate extensión of Anderson and Belnap's "strong and natural list of valid entailments"
ISSN: 0495-4548
Año de publicación: 1990
Volumen: 5
Número: 12-13
Páginas: 223-228
Tipo: Artículo
ISSN: 0495-4548
Año de publicación: 1990
Volumen: 5
Número: 12-13
Páginas: 223-228
Tipo: Artículo