Higher-Order Logic and Type Theory

DOI10.1017/9781108981804MaRDI QIDQ5862337zbMATH OpenOpenAlexFDO

Authors John L. Bell

Publication date 9 March 2022

Full work available at URL https://doi.org/10.1017/9781108981804

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx)

Recommendations

• Classical type theory
• An introduction to mathematical logic and type theory: To truth through proof.
• Higher-order logic or set theory: a false dilemma
• The seven virtues of simple type theory
• Second-Order Logic and Foundations of Mathematics

Cited in

(12)

• On the adequacy of representing higher order intuitionistic logic as a pure type system
• The \(HOL\) logic extended with quantification over type variables
• Recognizability, hypergraph operations, and logical types
• Weyl's predicative classical mathematics as a logic-enriched type theory
• scientific article; zbMATH DE number 4143942 (Why is no real title available?)
• (In)consistency of Extensions of Higher Order Logic and Type Theory
• scientific article; zbMATH DE number 45491 (Why is no real title available?)
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• scientific article; zbMATH DE number 1062114 (Why is no real title available?)
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• Set-theoretic bicontextualism
• A parametrized axiomatization for a large number of restricted second-order logics

This page was built for publication: Higher-Order Logic and Type Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5862337)