Pages that link to "Item:Q3370755"
From MaRDI portal
The following pages link to The finite model property for knotted extensions of propositional linear logic (Q3370755):
Displaying 11 items.
- Contextual deduction theorems (Q647412) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- (Q5084205) (← links)
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
- The finite embeddability property for noncommutative knotted extensions of RL (Q5252302) (← links)
