The finite model property for BCI and related systems

DOI10.1007/BF00370837zbMath0861.03020OpenAlexW2072558524MaRDI QIDQ2563452

Wojciech Buszkowski

Publication date: 12 December 1996

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370837

zbMATH Keywords

finite model propertybarriersBCI logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Related Items (9)

The finite model property for various fragments of intuitionistic linear logic ⋮ Algebraic structures in categorial grammar ⋮ Language models for some extensions of the Lambek calculus ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Contextual deduction theorems ⋮ Variations on a theme of Curry ⋮ The finite model property for semilinear substructural logics ⋮ On finite models of the Lambek calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Language in action. Categories, lambdas and dynamic logic
• The finite model property for BCK and BCIW
• Lambek calculus is NP-complete
• The Mathematics of Sentence Structure
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• Logics without the contraction rule
• Completeness Results for Lambek Syntactic Calculus
• Compatibility of a Categorial Grammar With an Associated Category System

This page was built for publication: The finite model property for BCI and related systems