Lambek's categorical proof theory and Läuchli's abstract realizability

Publisher： Cambridge University Press

E-ISSN： 1943-5886|57|1|200-230

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.57, Iss.1, 1992-03, pp. : 200-230

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

Relational semantics and a relational proof system for full Lambek calculus

By  

The Journal of Symbolic Logic, Vol. 63, Iss. 2, 1998-06 ,pp. : 623-637

Cambridge University Press

Access to resources Recommend Favorite

Combinator realizability of a constructive Morse set theory

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 2, 1974-01 ,pp. : 226-234

Cambridge University Press

Access to resources Recommend Favorite

A proof of the associated sheaf theorem by means of categorical logic

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Simple Realizability of Complete Abstract Topological Graphs in P

By Kynčl Jan  

Discrete & Computational Geometry, Vol. 45, Iss. 3, 2011-04 ,pp. : 383-399

Springer Publishing Company

Access to resources Recommend Favorite

A survey of proof theory

By  

The Journal of Symbolic Logic, Vol. 33, Iss. 3, 1968-10 ,pp. : 321-388

Cambridge University Press

Access to resources Recommend Favorite