On varieties of biresiduation algebras

DOI10.1007/s11225-006-8312-6zbMath1099.03057OpenAlexW2101736852MaRDI QIDQ2433109

Clint J. van Alten

Publication date: 27 October 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-006-8312-6

zbMATH Keywords

BCK-algebraresiduated latticelattice of filtersbiresiduation algebra

Mathematics Subject Classification ID

Lattices of varieties (08B15) BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Multi-posets in algebraic logic, group theory, and non-commutative topology, Unnamed Item, Non-commutative logical algebras and algebraic quantales, Pseudo-BCK algebras as partial algebras, Quantum B-algebras: their omnipresence in algebraic logic and beyond, Quantum B-algebras, Semisimplicity and the discriminator in bounded BCK-algebras, Some properties of pseudo-BCK- and pseudo-BCI-algebras, Join-semilattices whose sections are residuated PO-monoids, On the structure of linearly ordered pseudo-BCK-algebras, Splittings in GBL-algebras. I: The general case

Cites Work

• Ideals in universal algebras
• Characterization of relatively distributed quasivarieties of algebras
• Finite basis of ideal terms in ideal determined varieties
• On the structure of varieties with equationally definable principal congruences. III
• On the quasivariety of BCK-algebras and its subvarieties
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Rule separation and embedding theorems for logics without weakening
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Congruence properties in congruence permutable and in ideal determined varieties, with applications.
• The finite model property for various fragments of intuitionistic linear logic
• On the finite embeddability property for residuated ordered groupoids
• Algebras Whose Congruence Lattices are Distributive.
• On the lattice of varieties of residuation algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item