Pages that link to "Item:Q2776810"
From MaRDI portal
The following pages link to Finite models of some substructural logics (Q2776810):
Displaying 16 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)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- The finite model property and recursive bounds on the size of countermodels (Q1063587) (← links)
- The finite model property for BCK and BCIW (Q1317904) (← links)
- Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Finite models and full completeness (Q2753687) (← links)
- Finite model property of modal logics of finite depth (Q2815679) (← links)
- Finding Finite Models in Multi-sorted First-Order Logic (Q2818025) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- (Q4856959) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)