Para-disagreement logics and their implementation through embedding in Coq and SMT. (English) Zbl 1439.03066
Carnielli, Walter (ed.) et al., Contradictions, from consistency to inconsistency. Cham: Springer. Trends Log. Stud. Log. Libr. 47, 139-158 (2018).