Equational bases for joins of residuated-lattice varieties

DOI10.1023/B:STUD.0000032086.42963.7czbMath1068.06007MaRDI 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 logics; residuated lattices; joins of varieties; basis of equations; positive universal formulas

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

08B05: Equational logic, Mal'tsev conditions

06F05: Ordered semigroups and monoids

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

06B20: Varieties of lattices

Related Items

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