## 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