Coherent bicartesian and sesquicartesian categories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2183, Issue , 2001, Pages 78-92

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

^a MATHEMATICAL INSTITUTE   (Serbia)

Author keywords

Categorial proof theory; Conjunction and disjunction; Decidability of equality of deductions

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CLOSED CATEGORY; CONJUNCTION AND DISJUNCTION; DECISION PROCEDURE; FINITE PRODUCTS; FINITE SUMS; FUNCTORS; PROOF THEORY;

ARTIFICIAL INTELLIGENCE;

EID: 23044528875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45504-3_6     Document Type: Conference Paper

References (11)

1. DoŠen, K., Petrić, Z.: The Maximality of Cartesian Categories. Math. Logic Quart. 47 (2001) 137-144 (available at: http:// xxx.lanl.gov/math.CT/9911059)
2. DoŠen, K., Petrić: The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories. Publ. Inst. Math. (N.S.) 68(82) (2000) 1-19 (available at: http://xxx.lanl.gov/math.CT/9911073)
3. DoŠen, K., Petrić, Z.: Bicartesian Coherence. To appear in Studia Logica (available at: http://xxx.lanl.gov/math.CT/0006052)
4. Gentzen, G.: Untersuchungen Über das logische Schliesen. Math. Z. 39 (1935) 176-210, 405-431. English translation in: The Collected Papers of Gerhard Gentzen. Szabo, M. E. (ed.), North-Holland, Amsterdam (1969)
5. Kelly, G. M., Mac Lane, S.: Coherence in Closed Categories. J. Pure Appl. Algebra 1 (1971) 97-140, 219
6. Lambek, J.: Deductive Systems and Categories I: Syntactic Calculus and Residuated Categories. Math. Systems Theory 2 (1968) 287-318
7. Lambek, J.: Deductive Systems and Categories II: Standard Constructions and Closed Categories. In: Category Theory, Homology Theory and their Applications I. Lecture Notes in Mathematics, Vol. 86. Springer, Berlin (1969) 76-122
8. Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)
9. Lawvere, F. W., Schanuel, S. H.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997). First edn. Buffalo Workshop Press, Buffalo (1991)
10. Mac Lane, S.: Natural Associativity and Commutativity. Rice University Studies, Papers in Mathematics 49 (1963) 28-46
11. Simpson, A. K.: Categorical Completeness Results for the Simply-Typed Lambda- Calculus. In: Dezani-Ciancaglini, M., Plotkin, G. (eds), Typed Lambda Calculi and Applications (Edinburgh, 1995). Lecture Notes in Computer Science, Vol. 902. Springer, Berlin (1995) 414-427