The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals

E-ISSN： 1943-5886|41|1|18-24

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.41, Iss.1, 1976-03, pp. : 18-24

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

The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations

The Journal of Symbolic Logic, Vol. 40, Iss. 3, 1975-09 ,pp. : 321-346

Cambridge University Press

Access to resources Recommend Favorite

Derived rules of inference related to the continuity of effective operations

The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. : 328-336

Cambridge University Press

Access to resources Recommend Favorite

Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems ¹

The Journal of Symbolic Logic, Vol. 25, Iss. 1, 1960-03 ,pp. : 27-32

Cambridge University Press

Access to resources Recommend Favorite

PROVING UNPROVABILITY

Review of Symbolic Logic, Vol. 10, Iss. 1, 2016-11 ,pp. : 92-115

Cambridge University Press

Access to resources Recommend Favorite

Effectivity and effective continuity of multifunctions

The Journal of Symbolic Logic, Vol. 75, Iss. 2, 2010-06 ,pp. : 602-640

Cambridge University Press

Access to resources Recommend Favorite