A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- 1 January 1992
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 38 (1) , 179-187
- https://doi.org/10.1002/malq.19920380113
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Sequent-systems and groupoid models. IStudia Logica, 1988
- Logics without the contraction ruleThe Journal of Symbolic Logic, 1985
- Models for entailmentJournal of Philosophical Logic, 1974
- Completeness and axiomatizability in many-valued logicPublished by American Mathematical Society (AMS) ,1974
- The Semantics of EntailmentPublished by Elsevier ,1973
- The semantics of entailment ? IIIJournal of Philosophical Logic, 1972
- Semantics for relevant logicsThe Journal of Symbolic Logic, 1972
- The semantics of entailment?IIJournal of Philosophical Logic, 1972
- On the calculus of syntactic typesPublished by American Mathematical Society (AMS) ,1961
- The Mathematics of Sentence StructureThe American Mathematical Monthly, 1958