Soundness and Completeness of Implicational Logic by Asta Halkjær From 🌐 and Jørgen Villadsen 🌐 Sep 13

A Sequent Calculus Prover for First-Order Logic with Functions by Asta Halkjær From 🌐 and Frederik Krogsdal Jacobsen 🌐 Jan 31

Soundness and Completeness of an Axiomatic System for First-Order Logic by Asta Halkjær From 🌐 Sep 24