A sequent calculus for first-order logic formalized in Isabelle/HOL.

Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'A sequent calculus for first-order logic formalized in Isabelle/HOL.'. Together they form a unique fingerprint.

Keyphrases

Computer Science