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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|25|1|27-32

ISSN： 0022-4812

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

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 formulas of one variable in intuitionistic propositional calculus 1

By  

The Journal of Symbolic Logic, Vol. 25, Iss. 4, 1960-12 ,pp. : 327-331

Cambridge University Press

Access to resources Recommend Favorite

A class of iteration methods for the matrix equation A×B = C

By  

Bulletin of the Australian Mathematical Society, Vol. 75, Iss. 2, 2007-04 ,pp. : 289-298

Cambridge University Press

Access to resources Recommend Favorite

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

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Implicational formulas in intuitionistic logic

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 4, 1974-12 ,pp. : 661-664

Cambridge University Press

Access to resources Recommend Favorite