scientific article; zbMATH DE number 1059893
From MaRDI portal
Publication:4353914
zbMath0876.03036MaRDI QIDQ4353914
Mirosława Kołowska-Gawiejnowicz, Wojciech Buszkowski
Publication date: 20 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
representation theoremscanonical modelsalgebra of binary relationsresiduated semigroupsLambek calculilabeled formulas
Related Items (4)
A comparison between monoidal and substructural logics ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Unnamed Item
This page was built for publication: