The finite model property for BCK and BCIW

DOI10.1007/BF01053025zbMath0787.03020MaRDI QIDQ1317904

Robert K. Meyer, Hiroakira Ono

Publication date: 23 May 1994

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

zbMATH Keywords

relevant logicfinite model propertyimplicational logicsBCIWBCK

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

Related Items

The finite model property for various fragments of intuitionistic linear logic ⋮ The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic ⋮ Angell and McCall meet Wansing ⋮ On the algebraizability of the implicational fragment of abelian logic ⋮ A conservative negation extension of positive semilattice logic without the finite model property ⋮ Variations on a theme of Curry ⋮ The finite model property for BCI and related systems ⋮ On finite models of the Lambek calculus

Cites Work

• Linear logic
• Logics without the contraction rule
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Unnamed Item
• Unnamed Item

This page was built for publication: The finite model property for BCK and BCIW