Tableau systems for logics of formal inconsistency
Title | Tableau systems for logics of formal inconsistency |
Publication Type | Conference Proceedings |
Authors | Carnielli, WA, Marcos, J |
Editor | Arabnia, HR |
PDF author (public):
Title | Tableau systems for logics of formal inconsistency |
Publication Type | Conference Proceedings |
Authors | Carnielli, WA, Marcos, J |
Editor | Arabnia, HR |