Pages that link to "Item:Q4382470"
From MaRDI portal
The following pages link to The finite model property for various fragments of linear logic (Q4382470):
Displayed 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)
- 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)
- Cover systems for the modalities of linear logic (Q6201546) (← links)