Completeness theorems for first-order logic analysed in constructive type theory
Work
Year: 2021
Type: article
Abstract: We study various formulations of the completeness of first-order logic phrased in constructive type theory and mechanised in the Coq proof assistant. Specifically, we examine the completeness of varia... more
Source: Journal of Logic and Computation
Institutions Saarland University, University of Amsterdam
Cites: 66
Cited by: 16
Related to: 10
FWCI: 1.441
Citation percentile (by year/subfield): 86
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green