Deductive Completeness
Došen, Kosta
Bull. Symbolic Logic, Tome 2 (1996) no. 1, p. 243-283 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This is an exposition of Lambek's strengthening and generalization of the deduction theorem in categories related to intuitionistic propositional logic. Essential notions of category theory are introduced so as to yield a simple reformulation of Lambek's Functional Completeness Theorem, from which its main consequences can be readily drawn. The connections of the theorem with combinatory logic, and with modal and substructural logics, are briefly considered at the end.
Publié le : 1996-09-14
Classification:  
@article{1182353450,
     author = {Do\v sen, Kosta},
     title = {Deductive Completeness},
     journal = {Bull. Symbolic Logic},
     volume = {2},
     number = {1},
     year = {1996},
     pages = { 243-283},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1182353450}
}

Došen, Kosta. Deductive Completeness. Bull. Symbolic Logic, Tome 2 (1996) no. 1, pp.  243-283. http://gdmltest.u-ga.fr/item/1182353450/