Exhaustively axiomatizing RMO with an appropiate extensión of Anderson and Belnap's "strong and natural list of valid entailments"
ISSN: 0495-4548
Ano de publicación: 1990
Volume: 5
Número: 12-13
Páxinas: 223-228
Tipo: Artigo
ISSN: 0495-4548
Ano de publicación: 1990
Volume: 5
Número: 12-13
Páxinas: 223-228
Tipo: Artigo