# Finite sum-product logic.

Cockett, J.R.B.; Seely, R.A.G.

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

- Volume: 8, page 63-99
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topCockett, 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 -

## NotesEmbed ?

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