Pages that link to "Item:Q4333470"
From MaRDI portal
The following pages link to Powerset Residuated Algebras and Generalized Lambek Calculus (Q4333470):
Displaying 10 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Lam's power residue addition sets (Q534183) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- \(L\)-valued bornologies on powersets (Q1677898) (← links)
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- (Q5393802) (← 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)