The consistency of a system of combinatory restricted generality*

Publisher： Cambridge University Press

E-ISSN： 1943-5886|38|3|489-492

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.38, Iss.3, 1973-09, pp. : 489-492

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

Consistency notions in illative combinatory logic

By  

The Journal of Symbolic Logic, Vol. 42, Iss. 4, 1977-12 ,pp. : 527-529

Cambridge University Press

Access to resources Recommend Favorite

The system CΔ of combinatory logic 1

By  

The Journal of Symbolic Logic, Vol. 28, Iss. 1, 1963-03 ,pp. : 87-97

Cambridge University Press

Access to resources Recommend Favorite

A weak absolute consistency proof for some systems of illative combinatory logic

By  

The Journal of Symbolic Logic, Vol. 48, Iss. 3, 1983-09 ,pp. : 771-776

Cambridge University Press

Access to resources Recommend Favorite

Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 1, 1987-03 ,pp. : 89-110

Cambridge University Press

Access to resources Recommend Favorite

The consistency of system Q

By  

The Journal of Symbolic Logic, Vol. 46, Iss. 1, 1981-03 ,pp. : 67-76

Cambridge University Press

Access to resources Recommend Favorite