Pages that link to "Item:Q2563452"
From MaRDI portal
The following pages link to The finite model property for BCI and related systems (Q2563452):
Displayed 6 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Contextual deduction theorems (Q647412) (← links)
- On finite models of the Lambek calculus (Q813074) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- The finite model property for various fragments of intuitionistic linear logic (Q4262585) (← links)