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 9 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)