Powerset Residuated Algebras and Generalized Lambek Calculus
From MaRDI portal
Publication:4333470
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
representation theoremstrong completenesscategorial grammarresiduated algebrasgeneralized Lambek calculuslabelled deductive system
Related Items
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