Pages that link to "Item:Q4262585"

The following pages link to The finite model property for various fragments of intuitionistic linear logic (Q4262585):

Displaying 39 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 derivations and their fixed point sets in residuated lattices (Q679840) (← links)
• On two new classes of stabilizers in residuated lattices (Q780167) (← 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)
• Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
• Tense operators on non-commutative residuated lattices (Q1701919) (← links)
• On the decision problem for MELL (Q1733062) (← links)
• From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
• Join-completions of partially ordered algebras (Q2004958) (← links)
• Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
• Fuzzy logics from substructural perspective (Q2270232) (← links)
• Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
• Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← 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)
• Language models for some extensions of the Lambek calculus (Q2672665) (← links)
• On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results (Q2835051) (← links)
• The finite model property for semilinear substructural logics (Q2856632) (← links)
• Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760) (← links)
• Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
• Archimedean Residuated Lattices (Q2999403) (← links)
• THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
• Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
• Residuated frames with applications to decidability (Q4913809) (← links)
• Extensions of Lambek Calculi (Q5014595) (← links)
• Regularity in residuated lattices (Q5212869) (← links)
• Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
• Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
• On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
• Interpolation in linear logic and related systems (Q6636617) (← links)