Paraconsistency and consistency understood as the absence of the negation of any implicative theorem
Revue:
Reports on Mathematical Logic
ISSN: 0137-2904, 2084-2589
Année de publication: 2012
Pages: 147-171
Type: Article