Semi-linear Varieties of Lattice-Ordered Algebras
DOI10.1007/978-3-319-06233-4_10zbMath1327.06016OpenAlexW2233930033MaRDI QIDQ2948590
Antonio Ledda, Francesco Paoli, Constantine Tsinakis
Publication date: 6 October 2015
Published in: Petr Hájek on Mathematical Fuzzy Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06233-4_10
bases of identitiesresiduated latticessubtractive varietiesopen filtersquasi-subtractive varietiessemi-linear varietiesvarieties of lattice-ordered algebras
Logical aspects of lattices and related structures (03G10) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Ordered rings, algebras, modules (06F25) Equational classes, universal algebra in model theory (03C05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ideals in universal algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Many-valued quantum algebras
- Equivalential logics. I
- On the structure of varieties with equationally definable principal congruences. IV
- On subtractive varieties. I
- Representable biresiduated lattices
- Handbook of philosophical logic. Vol. 5
- Rule separation and embedding theorems for logics without weakening
- Ideals and congruences of basic algebras
- Prelinear algebras in relatively regular quasivarieties
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Representable pseudo-BCK-algebras and integral residuated lattices
- MV-algebras and quantum computation
- THE STRUCTURE OF RESIDUATED LATTICES
- Quasi-subtractive varieties
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Algebraizable logics
- Quasi-subtractive varieties: Open filters, congruences and the commutator
- On the degrees of permutability of subregular varieties
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
