A Sequent Calculus for First-Order Logic

MaRDI QIDQ7361657FDO

Authors Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Publication date 18 July 2019

Cites work

• Mathematical Logic for Computer Science

Cited in

(1)

• A Sequent Calculus Prover for First-Order Logic with Functions

This page was built for software: A Sequent Calculus for First-Order Logic