I am aware that a similar question was asked about the type theory in the principia, but I'm more interested in what the relationship between, say Martin-Lof Type theory and intuitionistic logic is.


1 Answer 1


For Type theory you can see :

as well as :

On Intuitionistic TT :

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .