Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory: Extended Version
(pdf)
Yannick Forster, Dominik Kirst, Dominik Wehr
Journal of Logic and Computation
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory
(pdf)
Yannick Forster, Dominik Kirst, Dominik Wehr
Symposium on Logical Foundations Of Computer Science (LFCS 2020), January 4-7, 2020, Deerfield Beach, Florida, U.S.A.