Pages that link to "Item:Q3984416"
From MaRDI portal
The following pages link to Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416):
Displaying 7 items.
- Graphs of plural cuts (Q383359) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Weakly distributive categories (Q674463) (← links)
- A computational algebraic approach to Latin grammar (Q812147) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- A computational algebraic analysis of Hindi syntax (Q6190084) (← links)
