- An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.details
|
|
What is an algorithm?Yiannis Moschovakis - 2001 - In Mathematics Unlimited --- 2001 and beyond.details
|
|
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Λ-definable functionals andβη conversion.R. Statman - 1983 - Archive for Mathematical Logic 23 (1):21-26.details
|
|
An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.details
|
|
Generality of proofs and its Brauerian representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740-750.details
|
|
The undecidability of k-provability.Samuel Buss - 1991 - Annals of Pure and Applied Logic 53 (1):75-102.details
|
|
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.details
|
|
Prawitz Dag. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 235–307. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Coherence in Substructural Categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271-296.details
|
|
Bicartesian Coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331-353.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
The undecidability of k-provability.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 53 (1):75-102.details
|
|
A Brauerian representation of split preorders.Z. Petric & K. Dosen - 2003 - Mathematical Logic Quarterly 49 (6):579.details
|
|
The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.details
|
|
Interpolants, cut elimination and flow graphs for the propositional calculus.Alessandra Carbone - 1997 - Annals of Pure and Applied Logic 83 (3):249-299.details
|
|
Generality of Proofs and Its Brauerian Representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740 - 750.details
|
|
Coherence in substructural categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.details
|
|
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.details
|
|