Pages that link to "Item:Q2776810"
From MaRDI portal
The following pages link to Finite Models of Some Substructural Logics (Q2776810):
Displaying 6 items.
- Natural language semantics in biproduct dagger categories (Q280847) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- On finite models of the Lambek calculus (Q813074) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
