scientific article; zbMATH DE number 3819795

Cited in

(29)

Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
The poset structure of positive implicative BCK-algebras
On the structure of varieties with equationally definable principal congruences. III
Varieties of commutative residuated integral pomonoids and their residuation subreducts
Convex congruences
Congruences, ideals and annihilators in standard QBCC-algebras
Implicit connectives of algebraizable logics
Algebraizable logics with a strong conjunction and their semi-lattice based companions
Splittings in subreducts of hoops
On relative principal congruences in term quasivarieties
Spectral properties of cBCK-algebras
Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients
Decomposability of the finitely generated free hoop residuation algebra
On varieties of biresiduation algebras
Generalized derivations of BCC-algebras.
Basic hoops: an algebraic study of continuous t-norms
Formal systems of fuzzy logic and their fragments
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
scientific article; zbMATH DE number 2172825 (Why is no real title available?)
scientific article; zbMATH DE number 1865921 (Why is no real title available?)
Abstract algebraic logic. An introductory chapter
On the variety generated by bounded pseudo-BCK-algebras
Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra
Algebraic constructions of groupoids for metric spaces
Remarks on skew Hilbert algebras and weak \(\mathrm{BCK}^\ast\)-algebras
Selfextensional logics with a conjunction
Constructive logic with strong negation is a substructural logic. I
Boolean representation of bounded BCK-algebras
Semisimplicity and the discriminator in bounded BCK-algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666901)