Coherence in substructural categories

Studia Logica

Volumn 70, Issue 2, 2002, Pages 271-296

  Petrić, Zoran ^a  

^a MATHEMATICAL INSTITUTE   (Serbia)

Author keywords

Categorial proof theory; Coherence; Substructural logics

Indexed keywords

EID: 54649083413     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1015186718090     Document Type: Article

References (13)

1. DOŠEN, K., and Z. PETRIĆ, 1996, 'Modal functional completeness', in Proof Theory of Modal Logic, H. Wansing (ed.), pp. 167-211, Kluwer Academic Publishers, Dordrecht.
2. DOŠEN, K., and Z. PETRIĆ, 1999, 'Cartesian isomorphisms are symmetric monoidal: a justification of linear logic', The Journal of Symbolic Logic 64, 1, 227-242.
3. DOŠEN, K., and Z. PETRIĆ, 2001, 'The maximality of cartesian categories', Mathematical Logic Quarterly 47, 1, 137-144.
4. KELLY, G. M., 1972, 'Many-variable functorial calculus I', in [8], pp. 66-105.
5. KELLY, G. M., 1972, 'An abstract approach to coherence', in [8], pp. 106-147.
6. KELLY, G. M., and S. MACLANE, 1971, 'Coherence in closed categories', Journal of Pure and Applied Algebra 1, 1, 97-140.
7. LAMBEK, J., and P. J. SCOTT, 1986, Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge.
8. MACLANE, S. (ed.), 1972, Coherence in Categories, Lecture Notes in Mathematics, 281, Springer-Verlag, Berlin-Heidelberg-New York.
9. MACLANE, S., 1963, 'Natural associativity and commutativity', Rice University Studies 49, 28-46.
10. MINTS, G. E., 1980, 'Category theory and proof theory' (in Russian), in Aktual'nye voprosy logiki i metodologii nauki, Naukova Dumka, Kiev, pp. 252-278.
11. (English translation, with permuted title, in: G. E. Mints, Selected Papers in Proof Theory, Bibliopolis, Naples, 1992.)
12. SCHROEDER-HEISTER, P., and K. DOŠEN (eds.), 1993, Substructural Logics, Studies in Logic and Computation, 2, Clareadon Press, Oxford.
13. TROELSTRA, A. S., and H. SCHWICHTENBERG, 1996, Basic Proof Theory, Cambridge University Press, Cambridge.