Paraconsistency and consistency understood as the absence of the negation of any implicative theorem
Revista:
Reports on Mathematical Logic
ISSN: 0137-2904, 2084-2589
Ano de publicación: 2012
Páxinas: 147-171
Tipo: Artigo