Generalized ordinal sums and translations
DOI10.1093/jigpal/jzp090zbMath1259.03088OpenAlexW2148939362MaRDI QIDQ2885172
Publication date: 21 May 2012
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzp090
embeddingHeyting algebrassubdirectly irreducible algebrasresiduated latticesordinal sumBrouwerian algebrasFL-algebrassubvariety lattices of residuated lattice varieties
Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subdirect products and subdirect irreducibility (08B26)
Related Items (1)
This page was built for publication: Generalized ordinal sums and translations