The finite model property for BCI and related systems

This publication has 9 references indexed in Scilit:

• The finite model property for BCK and BCIW
  Studia Logica, 1994
• The Logic of Information Structures
  Published by Springer Nature ,1993
• Categorial Investigations
  Published by Walter de Gruyter GmbH ,1988
• Linear logic
  Theoretical Computer Science, 1987
• Completeness Results for Lambek Syntactic Calculus
  Mathematical Logic Quarterly, 1986
• Logics without the contraction rule
  The Journal of Symbolic Logic, 1985
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
  Mathematical Logic Quarterly, 1985
• Compatibility of a Categorial Grammar With an Associated Category System
  Mathematical Logic Quarterly, 1982
• The Mathematics of Sentence Structure
  The American Mathematical Monthly, 1958