The following pages link to (Q2751052):
Displayed 6 items.
- Displacement logic for anaphora (Q386040) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Extending the Lambek calculus with classical negation (Q2118967) (← links)
- DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS (Q3389495) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)