Material Dialogues for First-Order Logic in Constructive Type Theory

von Wehr, Dominik
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)

Abstract Cyclic Proofs

von Afshari, Bahareh
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)

Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory

von Forster, Yannick
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)