On the axiom of extensionality – Part I

E-ISSN： 1943-5886|21|1|36-48

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.21, Iss.1, 1956-03, pp. : 36-48

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On the axiom of extensionality, Part II ¹

The Journal of Symbolic Logic, Vol. 24, Iss. 4, 1959-12 ,pp. : 287-300

Cambridge University Press

Access to resources Recommend Favorite

Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility

The Journal of Symbolic Logic, Vol. 13, Iss. 4, 1948-12 ,pp. : 177-192

Cambridge University Press

Access to resources Recommend Favorite

AXIOM I ₀ AND HIGHER DEGREE THEORY

The Journal of Symbolic Logic, Vol. 80, Iss. 3, 2015-07 ,pp. : 970-1021

Cambridge University Press

Access to resources Recommend Favorite

General models and extensionality

The Journal of Symbolic Logic, Vol. 37, Iss. 2, 1972-06 ,pp. : 395-397

Cambridge University Press

Access to resources Recommend Favorite

Higher-order semantics and extensionality

The Journal of Symbolic Logic, Vol. 69, Iss. 4, 2004-12 ,pp. : 1027-1088

Cambridge University Press

Access to resources Recommend Favorite