Pages that link to "Item:Q1015484"
From MaRDI portal
The following pages link to Distributive full Lambek calculus has the finite model property (Q1015484):
Displayed 4 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)