Equational bases for joins of residuated-lattice varieties

DOI10.1023/B:STUD.0000032086.42963.7czbMath1068.06007OpenAlexW2013893458MaRDI QIDQ1826928

Nikolaos Galatos

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000032086.42963.7c

zbMATH Keywords

substructural logicsresiduated latticesjoins of varietiesbasis of equationspositive universal formulas

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Equational logic, Mal'tsev conditions (08B05) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties of lattices (06B20)

Related Items (18)

Representable idempotent commutative residuated lattices ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ Universal algebraic methods for non-classical logics ⋮ Gluing residuated lattices ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ MacNeille completions of FL-algebras ⋮ 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 ⋮ Varieties generated by standard BL-algebras ⋮ Logics with disjunction and proof by cases ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Generalized MV-algebras ⋮ Why are papers about filters on residuated structures (usually) trivial? ⋮ Varieties of BL-algebras. II ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ Commutative idempotent residuated lattices ⋮ Semiconic idempotent residuated structures

This page was built for publication: Equational bases for joins of residuated-lattice varieties