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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|40|3|321-346

ISSN： 0022-4812

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

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 unprovability in intuitionistic formal systems of the continuity of effective operations on the reals

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Derived rules of inference related to the continuity of effective operations

By  

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 1

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Model existence theorems for modal and intuitionistic logics

By  

The Journal of Symbolic Logic, Vol. 38, Iss. 4, 1973-12 ,pp. : 613-627

Cambridge University Press

Access to resources Recommend Favorite

Effectivity and effective continuity of multifunctions

By  

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

Cambridge University Press

Access to resources Recommend Favorite