3 Matching Annotations
- Mar 2021
-
en.wikipedia.org en.wikipedia.org
-
How is it that https://en.wikipedia.org/wiki/Type_theory links to https://en.wikipedia.org/wiki/Type_(model_theory) but the latter does not have any link to or mention of https://en.wikipedia.org/wiki/Type_theory
Neither mentions the relationship between them, but both of them should, since I expect that is a common question.
-
-
en.wikipedia.org en.wikipedia.org
-
Model theory recognizes and is intimately concerned with a duality: it examines semantical elements (meaning and truth) by means of syntactical elements (formulas and proofs) of a corresponding language
-
-