The following pages link to Type logics and pregroups (Q2467212):
Displaying 11 items.
- A modular and parameterized presentation of pregroup calculus (Q964501) (← links)
- Periodic lattice-ordered pregroups are distributive (Q1762476) (← links)
- Lattice-ordered pregroups are semi-distributive (Q1996094) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- On the logic of \(\beta\)-pregroups (Q2467221) (← links)
- Weyl's predicative classical mathematics as a logic-enriched type theory (Q2946599) (← links)
- (Q4263871) (← links)
- On Residuation (Q5414955) (← links)
- Italian Clitic Patterns in Pregroup Grammar: State of the Art (Q5414963) (← links)
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars (Q5418966) (← links)
- Automata, Languages and Programming (Q5466518) (← links)