KnowraType theoryLinked fromLinked fromThe 35 pages that link to Type theory, each with the reason it gives.All 35Broader topic 1Related 19Narrower topic 2Compared with 13Bertrand RussellRelated: Russell proposed a hierarchy of types to block paradoxes like his own.Intuitionistic logicRelated: Intuitionistic logic underlies the propositions-as-types interpretation used in type-theoretic foundations.Russell's paradoxRelated: It blocks paradoxical constructions by restricting which objects can be related.Principia MathematicaRelated: The ramified hierarchy of types blocks self-reference behind logical paradoxes.Proof theoryRelated: Proof theory studies the derivations and normalization behavior of type systems.ParadoxRelated: Russell's paradox helped motivate restrictions on which objects can be treated as sets.Formal systemRelated: It can serve as a foundation where propositions correspond to types and proofs to terms.Proof assistantRelated: Many assistants use type theory to make proof checking part of type checking.Constructive proofRelated: Its propositions-as-types perspective makes constructive proofs correspond to witness-bearing terms.Foundations of mathematicsRelated: It offers an alternative foundation in which proofs and programs can share structure.Constructive mathematicsRelated: Proofs-as-programs interpretations represent propositions and their evidence using types.CategoryRelated: Some type theories encode categorical structures and offer alternative foundations for them.Heyting algebraRelated: The propositions-as-types correspondence links intuitionistic proof rules to typed constructions.Higher-order logicRelated: Typed formulations assign distinct types to objects, predicates, and functions.ConstructivismRelated: Constructive type theories make proofs and the objects they construct part of one formal framework.Formal scienceRelated: It connects mathematical foundations with programming-language design and proof assistants.Katharine Cook BriggsRelated: Briggs’s work helped bring a Jungian version of this approach into a widely used assessment.Conjunction introductionRelated: Product types model conjunction, with introduction constructing a pair.Barbara H. ParteeRelated: Semantic types organize the function-and-argument structure used in formal analyses.
KnowraType theoryLinked fromLinked fromThe 35 pages that link to Type theory, each with the reason it gives.All 35Broader topic 1Related 19Narrower topic 2Compared with 13Bertrand RussellRelated: Russell proposed a hierarchy of types to block paradoxes like his own.Intuitionistic logicRelated: Intuitionistic logic underlies the propositions-as-types interpretation used in type-theoretic foundations.Russell's paradoxRelated: It blocks paradoxical constructions by restricting which objects can be related.Principia MathematicaRelated: The ramified hierarchy of types blocks self-reference behind logical paradoxes.Proof theoryRelated: Proof theory studies the derivations and normalization behavior of type systems.ParadoxRelated: Russell's paradox helped motivate restrictions on which objects can be treated as sets.Formal systemRelated: It can serve as a foundation where propositions correspond to types and proofs to terms.Proof assistantRelated: Many assistants use type theory to make proof checking part of type checking.Constructive proofRelated: Its propositions-as-types perspective makes constructive proofs correspond to witness-bearing terms.Foundations of mathematicsRelated: It offers an alternative foundation in which proofs and programs can share structure.Constructive mathematicsRelated: Proofs-as-programs interpretations represent propositions and their evidence using types.CategoryRelated: Some type theories encode categorical structures and offer alternative foundations for them.Heyting algebraRelated: The propositions-as-types correspondence links intuitionistic proof rules to typed constructions.Higher-order logicRelated: Typed formulations assign distinct types to objects, predicates, and functions.ConstructivismRelated: Constructive type theories make proofs and the objects they construct part of one formal framework.Formal scienceRelated: It connects mathematical foundations with programming-language design and proof assistants.Katharine Cook BriggsRelated: Briggs’s work helped bring a Jungian version of this approach into a widely used assessment.Conjunction introductionRelated: Product types model conjunction, with introduction constructing a pair.Barbara H. ParteeRelated: Semantic types organize the function-and-argument structure used in formal analyses.