Pages that link to "Item:Q4382470"

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

Displaying 21 items.

• Phase semantics and decidability of elementary affine logic (Q596037) (← links)
• Contextual deduction theorems (Q647412) (← links)
• On finite models of the Lambek calculus (Q813074) (← links)
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
• Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
• Fuzzy logics from substructural perspective (Q2270232) (← links)
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
• On involutive nonassociative Lambek calculus (Q2425321) (← links)
• Finite Models of Some Substructural Logics (Q2776810) (← links)
• The finite model property for semilinear substructural logics (Q2856632) (← links)
• (Q2874885) (← links)
• Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760) (← links)
• On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
• The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
• On the Meaning of Logical Completeness (Q3637186) (← links)
• The finite model property for various fragments of intuitionistic linear logic (Q4262585) (← links)
• Extensions of Lambek Calculi (Q5014595) (← links)
• A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
• On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
• On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
• On phase semantics and denotational semantics: The exponentials (Q5939845) (← links)