Pages that link to "Item:Q2563452"
From MaRDI portal
The following pages link to The finite model property for BCI and related systems (Q2563452):
Displaying 9 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)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- The finite model property for various fragments of intuitionistic linear logic (Q4262585) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
