Pages that link to "Item:Q1826927"
From MaRDI portal
The following pages link to Order algebras as models of linear logic (Q1826927):
Displaying 7 items.
- Ordering protoalgebraic logics (Q2957951) (← links)
- (Q3346292) (← links)
- (Q3584003) (← links)
- The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier (Q3708787) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← links)
- Resource convertibility and ordered commutative monoids (Q5360212) (← links)