TY  - JOUR
AU  - Lutz Strassburger
TI  - On the axiomatisation of Boolean categories  with and without medial
JO  - Theory and applications of categories
PY  - 2007
SP  - 536
EP  - 601
VL  - 18
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2007_18_a17/
LA  - en
ID  - TAC_2007_18_a17
ER  -