Intuitionistic Type Theory

Date

September 23, 2024

source

[Revised entry by Peter Dybjer and Erik Palmgren on September 23, 2024.
Changes to: Main text, Bibliography]
Intuitionistic type theory (also constructive type theory or Martin-Lof type theory) is a formal logical system and philosophical foundation for constructive mathematics. It is a full-scale system which aims to play a similar role for constructive mathematics as Zermelo-Fraenkel Set Theory does for classical mathematics. It is based on the…

Post Views: 2

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)

More
news

Articles

What is Disagreement? – Part IV

This is Part 4 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...

September 10, 2023

Articles

Articles

What is Disagreement? – Part III

This is Part 3 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...

September 3, 2023

Articles

Articles

What is Disagreement? – Part II

This is Part 2 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...

August 27, 2023

Articles

Articles

What is Disagreement?

This is Part 1 of a 4-part series on the academic, and specifically philosophical study of disagreement. In this series...

August 20, 2023

Articles

News

The Collegium Phaenomenologicum Call for Applications

The Collegium Phaenomenologicum convenes for its 47th annual session in Città di Castello, Italy, July 7-25,2025. The terms by which ancient Greek intellectuals conceived of being born, living, and dying continue...

September 26, 2024