scientific article; zbMATH DE number 1076476
From MaRDI portal
Publication:4359793
zbMath0979.06009MaRDI QIDQ4359793
Clint J. van Alten, James G. Raftery
Publication date: 5 May 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BCK-algebraidealquasivarietyalgebraic semanticslocally finite varietiesresiduationcongruence permutabilityordered monoidbinary additionrelatively congruence distributiveresiduation subreductslogics lacking contraction and commutation rulespolrimrelative congruence extensibilityrelatively point regular
BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Quasivarieties (08C15)
Related Items (7)
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ Fuzzy ideals in pseudo-hoop algebras ⋮ On varieties of biresiduation algebras ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Residuated structures and orthomodular lattices ⋮ Splittings in GBL-algebras. I: The general case ⋮ On residuation in multilattices: filters, congruences, and homomorphisms.
This page was built for publication:
