Topological semantics for paraconsistent and paracomplete logics
by David Fuenmayor
David Fuenmayor
2020
2018
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
by David Fuenmayor and Christoph Benzmüller
2017
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
by David Fuenmayor and Christoph Benzmüller
Types, Tableaus and Gödel’s God in Isabelle/HOL
by David Fuenmayor and Christoph Benzmüller