View in EDS HTML Full Text PDF Full Text

Completeness theorems for first-order logic analysed in constructive type theory: Extended version.

Saved in:

Bibliographic Details
Title:	Completeness theorems for first-order logic analysed in constructive type theory: Extended version.
Authors:	Forster, Yannick¹, forster@cs.uni-saarland.de, Kirst, Dominik¹, Wehr, Dominik²
Source:	Journal of Logic & Computation; Jan2021, Vol. 31 Issue 1, p112-151, 40p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exaa073