Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory
Keyword(s):
2019 ◽
Vol 29
(4)
◽
pp. 469-486
◽
Keyword(s):
Keyword(s):
Keyword(s):
2021 ◽
pp. 200-216
Keyword(s):
2013 ◽
Vol 19
(4)
◽
pp. 433-472
◽
Keyword(s):
1984 ◽
Vol 95
(1)
◽
pp. 33-48
◽
Keyword(s):
Keyword(s):
Keyword(s):