Publication:4353914
From MaRDI portal
zbMath0876.03036MaRDI QIDQ4353914
Mirosława Kołowska-Gawiejnowicz, Wojciech Buszkowski
Publication date: 20 November 1997
representation theorems; canonical models; algebra of binary relations; residuated semigroups; Lambek calculi; labeled formulas
03G25: Other algebras related to logic
Related Items
A comparison between monoidal and substructural logics, Unnamed Item, The categorical imperative: category theory as a foundation for deontic logic, Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras