Geodesic
Bicartesian coherence revisited
Zbornik radova, Tome 12 (2009) no. 20, p. 5

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places, some formulations and proofs are here corrected, and matters are updated. The categories investigated in this paper formalize equality of proofs in classical and intuitionistic conjunctive-disjunctive logic without distribution of conjunction over disjunction.
Classification : 18A30 18A15 03G30 03G10 03F05 03F07 03B20
Keywords: bicartesian categories, categories with finite products and coproducts, coherence, categorial proof theory, decidability of equality of arrows, conjunction and disjunction, decidability of equality of deductions, Post completeness 
@article{ZR_2009_12_20_a1,
     author = {Kosta Do\v{s}en and Zoran Petri\'c},
     title = {Bicartesian coherence revisited},
     journal = {Zbornik radova},
     pages = {5 },
     publisher = {mathdoc},
     volume = {12},
     number = {20},
     year = {2009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a1/}
}
TY  - JOUR
AU  - Kosta Došen
AU  - Zoran Petrić
TI  - Bicartesian coherence revisited
JO  - Zbornik radova
PY  - 2009
SP  - 5 
VL  - 12
IS  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a1/
LA  - en
ID  - ZR_2009_12_20_a1
ER  - 
%0 Journal Article
%A Kosta Došen
%A Zoran Petrić
%T Bicartesian coherence revisited
%J Zbornik radova
%D 2009
%P 5 
%V 12
%N 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a1/
%G en
%F ZR_2009_12_20_a1
Kosta Došen; Zoran Petrić. Bicartesian coherence revisited. Zbornik radova, Tome 12 (2009) no. 20, p. 5 . http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a1/