The finite model property for BCK and BCIW
- 1 January 1994
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 53 (1) , 107-118
- https://doi.org/10.1007/bf01053025
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUSMathematical Logic Quarterly, 1992
- Linear logicTheoretical Computer Science, 1987
- Relevance Logic and EntailmentPublished by Springer Nature ,1986
- Logics without the contraction ruleThe Journal of Symbolic Logic, 1985
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959