David Fuenmayor

Automation of Boolos' Curious Inference in Isabelle/HOL

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe

Topological semantics for paraconsistent and paracomplete logics

by David Fuenmayor

Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL

by David Fuenmayor and Christoph Benzmüller

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