Consistency notions in illative combinatory logic

Publisher： Cambridge University Press

E-ISSN： 1943-5886|42|4|527-529

ISSN： 0022-4812

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

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

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

Higher-Order Illative Combinatory Logic

By  

The Journal of Symbolic Logic, Vol. 78, Iss. 3, 2013-09 ,pp. : 837-872

Cambridge University Press

Access to resources Recommend Favorite

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic

By  

The Journal of Symbolic Logic, Vol. 63, Iss. 3, 1998-09 ,pp. : 869-890

Cambridge University Press

Access to resources Recommend Favorite

Systems of illative combinatory logic complete for first-order propositional and predicate calculus

By  

The Journal of Symbolic Logic, Vol. 58, Iss. 3, 1993-09 ,pp. : 769-788

Cambridge University Press

Access to resources Recommend Favorite