Powerset Residuated Algebras and Generalized Lambek Calculus

DOI10.1002/malq.19970430108zbMath0870.03028OpenAlexW2045711652MaRDI QIDQ4333470

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

zbMATH Keywords

representation theoremstrong completenesscategorial grammarresiduated algebrasgeneralized Lambek calculuslabelled deductive system

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (7)

Algebraic structures in categorial grammar ⋮ A comparison between monoidal and substructural logics ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Multi-Sorted Residuation ⋮ On Canonical Embeddings of Residuated Groupoids ⋮ A Labelled Deductive System for Relational Semantics of the Lambek Calculus

Cites Work

• Language in action. Categories, lambdas and dynamic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Powerset Residuated Algebras and Generalized Lambek Calculus