Powerset Residuated Algebras and Generalized Lambek Calculus

DOI10.1002/MALQ.19970430108zbMATH Open0870.03028OpenAlexW2045711652MaRDI QIDQ4333470FDOQ4333470

Authors: Mirosława Kołowska-Gawiejnowicz 

Publication date: 15 September 1997

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19970430108

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

zbMATH Keywords

representation theoremstrong completenesscategorial grammarresiduated algebrasgeneralized Lambek calculuslabelled deductive system

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Language in action. Categories, lambdas and dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• Lam's power residue addition sets
• Title not available (Why is that?)
• 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
• Complexity of the universal theory of residuated ordered groupoids
• A Labelled Deductive System for Relational Semantics of the Lambek Calculus
• 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)