- Interpolants, cut elimination and flow graphs for the propositional calculus.Alessandra Carbone - 1997 - Annals of Pure and Applied Logic 83 (3):249-299.details
|
|
The undecidability of k-provability.Samuel Buss - 1991 - Annals of Pure and Applied Logic 53 (1):75-102.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
|
|
The undecidability of k-provability.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 53 (1):75-102.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.details
|
|
Coherence in substructural categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.details
|
|
Coherence in Substructural Categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271-296.details
|
|
A Brauerian representation of split preorders.Z. Petric & K. Dosen - 2003 - Mathematical Logic Quarterly 49 (6):579.details
|
|
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.details
|
|
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.details
|
|
Generality of Proofs and Its Brauerian Representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740 - 750.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
|
|
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.details
|
|
Bicartesian Coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331-353.details
|
|
An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details
|
|
Generality of proofs and its Brauerian representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740-750.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
|
|
What is an algorithm?Yiannis Moschovakis - 2001 - In Mathematics Unlimited --- 2001 and beyond.details
|
|