scientific article
From MaRDI portal
Publication:3666901
zbMath0518.06014MaRDI QIDQ3666901
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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 ⋮ Unnamed Item ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Spectral properties of cBCK-algebras ⋮ Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients ⋮ Selfextensional logics with a conjunction ⋮ On the variety generated by bounded pseudo-BCK-algebras ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Abstract algebraic logic. An introductory chapter ⋮ Decomposability of the finitely generated free hoop residuation algebra ⋮ Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts ⋮ On varieties of biresiduation algebras ⋮ Generalized derivations of BCC-algebras. ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Boolean representation of bounded BCK-algebras ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Formal systems of fuzzy logic and their fragments ⋮ Unnamed Item ⋮ Convex congruences ⋮ Congruences, ideals and annihilators in standard QBCC-algebras ⋮ Implicit connectives of algebraizable logics ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ Splittings in subreducts of hoops ⋮ On relative principal congruences in term quasivarieties
