Pages that link to "Item:Q4262585"
From MaRDI portal
The following pages link to The finite model property for various fragments of intuitionistic linear logic (Q4262585):
Displayed 19 items.
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Phase semantics and decidability of elementary affine logic (Q596037) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- On finite models of the Lambek calculus (Q813074) (← links)
- Some types of filters in residuated lattices (Q894672) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Phase semantics for light linear logic (Q1398478) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760) (← links)
- Archimedean Residuated Lattices (Q2999403) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)