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):
Displaying 5 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)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
