David Fuenmayor

E-Mails 📧

• moc.liamg @royamneufvad

Entries

2022

Automation of Boolos' Curious Inference in Isabelle/HOL

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

Dec 05

2020

Topological semantics for paraconsistent and paracomplete logics

by David Fuenmayor 📧

Dec 17

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 🌐

Oct 30

2017

Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument

by David Fuenmayor 📧 and Christoph Benzmüller 🌐

Sep 21

Types, Tableaus and Gödel’s God in Isabelle/HOL

by David Fuenmayor 📧 and Christoph Benzmüller 🌐

May 01