Extensionality versus constructivity

Extensionality versus constructivity (2000)

by Silvio Valentini

Venue:	Mathematical logic Quarterly
Citations:	3 - 0 self

Datum	Value	Source
TITLE	Extensionality versus constructivity	INFERENCE
AUTHOR NAME	Silvio Valentini	SVM HeaderParse 0.2
AUTHOR AFFIL	Dipartimento di Matematica Pura ed Applicata; Università di Padova	SVM HeaderParse 0.2
AUTHOR ADDR	via G. Belzoni n.7, I–35131 Padova, Italy	SVM HeaderParse 0.2
ABSTRACT	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	SVM HeaderParse 0.2
YEAR	2000	SVM HeaderParse 0.2
VENUE	Mathematical logic Quarterly	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	179--187	INFERENCE
VOLUME	42	INFERENCE
CITATIONS	7 found	ParsCit 1.0