Results 1 -
2 of
2
Extensionality versus constructivity
- Mathematical logic Quarterly
, 2000
"... We will analyze some extensions of Martin-Löf’s constructive type theory by means of extensional set constructors and we will show that often the most natural requirements over them lead to classical logic or even to inconsistency. 1 ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
We will analyze some extensions of Martin-Löf’s constructive type theory by means of extensional set constructors and we will show that often the most natural requirements over them lead to classical logic or even to inconsistency. 1
