The maximality of cartesian categories

Mathematical Logic Quarterly

Volumn 47, Issue 1, 2001, Pages 137-144

  Došen, Kosta ^a,b   Petrić, Zoran ^c  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b MATHEMATICAL INSTITUTE   (Serbia)

^c UNIVERSITY OF BELGRADE   (Serbia)

Author keywords

Cartesian categories; Coherence; Conjunctive logic; Natural deduction; Post completeness

Indexed keywords

EID: 0035530935     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/1521-3870(200101)47:1<137::AID-MALQ137>3.0.CO;2-F     Document Type: Article

References (12)

1. ČUBRIĆ, D., P. DYBJER, and P. J. SCOTT, Normalization and the Yoneda embedding. Math. Structures Comput. Sci. 8 (1998), 153-192.
2. DOŠEN, K., Cut Elimination in Categories. Kluwer Academic Publishers, Dordrecht 1999.
3. DOŠEN, K., and Z. PETRIĆ, The maximality of the typed lambda calculus and of cartesian closed categories. Preprint IRIT 98-31-R, 1998. To appear in Publ. Inst. Math. Available under (http://xxx.lanl.gov/math.CT/9911073).
4. EILENBERG, S., and G. M. KELLY, A generalization of the functorial calculus. J. Algebra 3 (1966), 366-375.
5. KELLY, G. M., Many-variable functorial calculus I. In: Coherence in Categories (S. MAC LANE, ed.), Lecture Notes in Mathematics 281, Springer-Verlag, Berlin-Heidelberg 1972, pp. 66-105.
6. KELLY, G. M., An abstract approach to coherence. In: Coherence in Categories (S. MAC LANE, ed.), Lecture Notes in Mathematics 281, Springer-Verlag, Berlin-Heidelberg 1972, pp. 106-147.
7. LAMBEK, J., and P. J. SCOTT, Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge 1986.
8. MINTS, G. E., Category theory and proof theory (in Russian). In: Aktual'nye voprosy logiki i metodologii nauki. Naukova Dumka, Kiev 1980, pp. 252-278; English translation, with permuted title, in: G. E. MINTS, Selected Papers in Proof Theory. Bibliopolis, Naples 1992.
9. MINTS, G. E., Category theory and proof theory (in Russian). In: Aktual'nye voprosy logiki i metodologii nauki. Naukova Dumka, Kiev 1980, pp. 252-278; English translation, with permuted title, in: G. E. MINTS, Selected Papers in Proof Theory. Bibliopolis, Naples 1992.
10. PETRIĆ, Z., Coherence in substructural categories. To appear.
11. SIMPSON, A. K., Categorical completeness results for the simply-typed lambda-calculus. In: Typed Lambda Calculi and Applications, Edinburgh 1995 (M. DEZANI-CIANCAGLINI and G. PLOTKIN, eds.), Lecture Notes in Computer Science 902, Springer-Verlag, Berlin-Heidelberg-New York 1995, pp. 414-427.
12. TROELSTRA, A. S., and H. SCHWICHTENBERG, Basic Proof Theory. Cambridge University Press, Cambridge 1996.