Higher-Order Illative Combinatory Logic

Publisher： Cambridge University Press

E-ISSN： 1943-5886|78|3|837-872

ISSN： 0022-4812

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

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

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

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

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

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