Finite sum-product logic.

Cockett, J.R.B., and Seely, R.A.G.. "Finite sum-product logic.." Theory and Applications of Categories [electronic only] 8 (2001): 63-99. <http://eudml.org/doc/121223>.

@article{Cockett2001,
author = {Cockett, J.R.B., Seely, R.A.G.},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {categories; categorical proof theory; finite coproducts; finite products; deductive systems},
language = {eng},
pages = {63-99},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Finite sum-product logic.},
url = {http://eudml.org/doc/121223},
volume = {8},
year = {2001},
}

TY - JOUR
AU - Cockett, J.R.B.
AU - Seely, R.A.G.
TI - Finite sum-product logic.
JO - Theory and Applications of Categories [electronic only]
PY - 2001
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 8
SP - 63
EP - 99
LA - eng
KW - categories; categorical proof theory; finite coproducts; finite products; deductive systems
UR - http://eudml.org/doc/121223
ER -