Powerset Residuated Algebras and Generalized Lambek Calculus
From MaRDI portal
Publication:4333470
Recommendations
- Powerset residuated algebras
- Generalized power UP-algebras
- On the power-set Q-algebras
- Pseudo-equality algebras and residuated posets
- Generalizing the powerset construction, coalgebraically
- scientific article; zbMATH DE number 2223007
- Strong Ockham algebra and residuated lattice
- scientific article; zbMATH DE number 5066596
- scientific article; zbMATH DE number 1267558
Cites work
- scientific article; zbMATH DE number 46160 (Why is no real title available?)
- scientific article; zbMATH DE number 549971 (Why is no real title available?)
- scientific article; zbMATH DE number 823607 (Why is no real title available?)
- scientific article; zbMATH DE number 1406808 (Why is no real title available?)
- Language in action. Categories, lambdas and dynamic logic
Cited in
(11)- Lam's power residue addition sets
- scientific article; zbMATH DE number 5066596 (Why is no real title available?)
- Algebraic structures in categorial grammar
- Multi-sorted residuation
- Powerset residuated algebras
- On canonical embeddings of residuated groupoids
- The categorical imperative: category theory as a foundation for deontic logic
- L-valued bornologies on powersets
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus
- Complexity of the universal theory of residuated ordered groupoids
- A comparison between monoidal and substructural logics
This page was built for publication: Powerset Residuated Algebras and Generalized Lambek Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4333470)
