Anders Schlichtkrull & Jørgen Villadsen
Please provide feedback to Associate Professor Jørgen Villadsen, DTU Compute, Denmark: http://people.compute.dtu.dk/jovi/
Entry in Isabelle's Archive of Formal Proofs: https://www.isa-afp.org/entries/Paraconsistency.shtml