Sequent-systems and groupoid models. I
- 1 December 1988
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 47 (4) , 353-385
- https://doi.org/10.1007/bf00671566
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Completeness Results for Lambek Syntactic CalculusMathematical Logic Quarterly, 1986
- Logics without the contraction ruleThe Journal of Symbolic Logic, 1985
- Sequent-systems for modal logicThe Journal of Symbolic Logic, 1985
- A Completeness Theorem for the Lambek Calculus of Syntactic CategoriesMathematical Logic Quarterly, 1985
- Multisets and relevant implication IAustralasian Journal of Philosophy, 1982
- 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
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935