# On the axiomatisation of Boolean categories with and without medial.

Theory and Applications of Categories [electronic only] (2007)

- Volume: 18, page 536-601
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topStrassburger, Lutz. "On the axiomatisation of Boolean categories with and without medial.." Theory and Applications of Categories [electronic only] 18 (2007): 536-601. <http://eudml.org/doc/128034>.

@article{Strassburger2007,

author = {Strassburger, Lutz},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {Boolean category; -autonomous category; proof theory; classical logic; proof nets; -autonomous category},

language = {eng},

pages = {536-601},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {On the axiomatisation of Boolean categories with and without medial.},

url = {http://eudml.org/doc/128034},

volume = {18},

year = {2007},

}

TY - JOUR

AU - Strassburger, Lutz

TI - On the axiomatisation of Boolean categories with and without medial.

JO - Theory and Applications of Categories [electronic only]

PY - 2007

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 18

SP - 536

EP - 601

LA - eng

KW - Boolean category; -autonomous category; proof theory; classical logic; proof nets; -autonomous category

UR - http://eudml.org/doc/128034

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.