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