Publication:2752409
From MaRDI portal
zbMath0991.06004MaRDI QIDQ2752409
Hiroakira Ono, Tomasz Kowalski
Publication date: 16 October 2001
03G10: Logical aspects of lattices and related structures
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F03: Proof theory in general (including proof-theoretic semantics)
06B20: Varieties of lattices
Related Items
Simple, local and subdirectly irreducible state residuated lattices, Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts, 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, Fuzzy logics from substructural perspective, On three implication-less fragments of t-norm based fuzzy logics, On two fragments with negation and without implication of the logic of residuated lattices