Pages that link to "Item:Q4333470"
From MaRDI portal
The following pages link to Powerset Residuated Algebras and Generalized Lambek Calculus (Q4333470):
Displaying 7 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
