Pages that link to "Item:Q1317904"

The following pages link to The finite model property for BCK and BCIW (Q1317904):

Displaying 11 items.

• The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
• On finite models of the Lambek calculus (Q813074) (← links)
• BCK and BCI logics, condensed detachment and the 2-property (Q1309333) (← links)
• A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
• On the algebraizability of the implicational fragment of abelian logic (Q2259001) (← links)
• Variations on a theme of Curry (Q2505136) (← links)
• The finite model property for BCI and related systems (Q2563452) (← links)
• Finite models of some substructural logics (Q2776810) (← links)
• A finite model property for RMImin (Q3418090) (← links)
• The finite model property for various fragments of intuitionistic linear logic (Q4262585) (← links)
• Angell and McCall meet Wansing (Q6127187) (← links)