scientific article; zbMATH DE number 6973806

zbMath1398.08007MaRDI QIDQ4963142

Wojciech Dzik, Sándor Radeleczki

Publication date: 6 November 2018

Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-189-215/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

congruence kernelunificationzero divisorsresiduated latticeprojective algebracentral elementfactor congruencefinitely presented algebra\(\ell\)-algebra1-regular variety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Structure theory of algebraic structures (08A05) Varieties of lattices (06B20)

Cites Work

• Unification, finite duality and projectivity in varieties of Heyting algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Commutative integral bounded residuated lattices with an added involution
• Discriminator varieties and symbolic computation
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Unification in modal and description logics
• Unification through projectivity
• The Direct Decomposition of l-algebras into Products of Subdirectly Irreducible Factors
• Filtering unification and most general unifiers in modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item