Anders Schlichtkrull. New Formalized Results on the Meta-Theory of a Paraconsistent Logic. In Peter Dybjer, José Espírito Santo, Luís Pinto, editors, 24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal. Volume 130 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. [doi]
Abstract is missing.