Abstract | ||
---|---|---|
Sheaf semantics is developed within a constructive and predicative framework, Martin-Lof's type theory. We prove strong completeness of many sorted, first order intuitionistic logic with respect to this semantics, by using sites of provably functional relations. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1002/malq.19970430304 | MATHEMATICAL LOGIC QUARTERLY |
Keywords | Field | DocType |
constructive model theory,sheaf semantics,intuitionistic logic,completeness | Intuitionistic logic,Discrete mathematics,Operational semantics,Constructive,Sheaf,Pure mathematics,Type theory,Completeness (statistics),Predicative expression,Mathematics,Well-founded semantics | Journal |
Volume | Issue | ISSN |
43 | 3 | 0942-5616 |
Citations | PageRank | References |
9 | 1.56 | 2 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Erik Palmgren | 1 | 233 | 43.17 |