NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS.

The paper investigates from a proof-theoretic perspective various non-contractive logical systems, which circumvent logical and semantic paradoxes. Until recently, such systems only displayed additive quantifiers (Grišin and Cantini). Systems with multiplicative quantifiers were proposed in the 2010...

Descripción completa

Detalles Bibliográficos

Publicado en:	Review of Symbolic Logic Vol. 17; no. 4; pp. 996 - 1018
Autores principales:	NICOLAI, CARLO, PIAZZA, MARIO, TESI, MATTEO
Formato:	Artículo
Publicado:	Cambridge University Press Dec2024
Materias:	Paradox Set theory Display systems Logic Additives
Acceso en línea:	Ver este registro en EBSCOhost