Abstract | ||
---|---|---|
. This is an exposition of Lambek's strengthening and generalization of the deductiontheorem in categories related to intuitionistic propositional logic. Essential notionsof category theory are introduced so as to yield a simple reformulation of Lambek's FunctionalCompleteness Theorem, from which its main consequences can be readily drawn. Theconnections of the theorem with combinatory logic, and with modal and substructural logics,are briefly considered at the end.Introduction. On... |
Year | Venue | DocType |
---|---|---|
1996 | Bulletin of Symbolic Logic | Journal |
Volume | Issue | Citations |
2 | 3 | 1 |
PageRank | References | Authors |
0.49 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kosta Dosen | 1 | 143 | 25.45 |