Equational bases for joins of residuated-lattice varieties
From MaRDI portal
Publication:1826928
DOI10.1023/B:STUD.0000032086.42963.7czbMath1068.06007MaRDI QIDQ1826928
Publication date: 6 August 2004
Published in: Studia Logica (Search for Journal in Brave)
substructural logics; residuated lattices; joins of varieties; basis of equations; positive universal formulas
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, 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