Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory

DOI10.1007/978-3-540-74464-1_1zbMath1178.03019OpenAlexW2948554469MaRDI QIDQ3612432

Zhaohui Luo, Robin Adams

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74464-1_1

zbMATH Keywords

formalisationpredicativismlogic-enriched type theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (4)

In the Search of a Naive Type Theory ⋮ Classical predicative logic-enriched type theories ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ A pluralist approach to the formalisation of mathematics

Uses Software

• Twelf
• Plastic

This page was built for publication: Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory