Soundness and Completeness of Implicational Logic by Asta Halkjær Boserup and Jørgen Villadsen Sep 13
A Sequent Calculus Prover for First-Order Logic with Functions by Asta Halkjær Boserup and Frederik Krogsdal Jacobsen Jan 31
Soundness and Completeness of an Axiomatic System for First-Order Logic by Asta Halkjær Boserup Sep 24