Abstract
AbstractThis 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.
Publisher
Cambridge University Press (CUP)
Reference18 articles.
1. Untersuchungen �ber das logische Schlie�en. II
2. [1994] Došen K. and Petrić Z. , Cartesian isomorphisms are symmetric monoidal: A justification of linear logic, manuscript.
3. Functional completeness of cartesian categories
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ruth Barcan Marcus on the Deduction Theorem in Modal Logic;History and Philosophy of Logic;2024-04-30
2. The Deduction Theorem (Before and After Herbrand);History and Philosophy of Logic;2021-03-22
3. Composition of Deductions within the Propositions-As-Types Paradigm;Logica Universalis;2020-09-02
4. On the Paths of Categories;Advances in Proof-Theoretic Semantics;2015-10-25
5. Inferential Semantics;Dag Prawitz on Proofs and Meaning;2014-11-28