scientific article
From MaRDI portal
Publication:2752409
zbMath0991.06004MaRDI QIDQ2752409
Hiroakira Ono, Tomasz Kowalski
Publication date: 16 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Varieties of lattices (06B20)
Related Items
On the variety generated by bounded pseudo-BCK-algebras, Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator, Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts, On three implication-less fragments of t-norm based fuzzy logics, Fuzzy logics from substructural perspective, On two fragments with negation and without implication of the logic of residuated lattices, Simple, local and subdirectly irreducible state residuated lattices
