## Homepages 🌐

- https://people.compute.dtu.dk/jovi/

## Entries

### 2022

##### Soundness and Completeness of Implicational Logic

by Asta Halkjær From 🌐 and Jørgen Villadsen 🌐
Sep 13

### 2017

##### First-Order Logic According to Harrison

by Alexander Birch Jensen 🌐, Anders Schlichtkrull 🌐 and Jørgen Villadsen 🌐
Jan 01

### 2016

##### Paraconsistency

by Anders Schlichtkrull 🌐 and Jørgen Villadsen 🌐
Dec 07