scientific article; zbMATH DE number 3819795

zbMATH Open0518.06014MaRDI QIDQ3666901FDOQ3666901

Authors: Andrzej Wroński 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

homomorphic image of BCK-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Varieties (08B99) Distributive lattices (06D99)

Cited In (28)

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

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)