Direct product of -algebras and unification: an application to residuated lattices

MaRDI QIDQ4963142zbMATH OpenFDO

Authors 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/

zbMATH Keywords

residuated latticeunificationprojective algebrazero divisorscentral elementfactor congruencefinitely presented algebra\(\ell\)-algebracongruence kernel1-regular variety

Mathematics Subject Classification ID

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

Recommendations

• Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
• Filtering unification and most general unifiers in modal logic
• On residuated lattices with universal quantifiers
• Unification in primal algebras, their powers and their varieties
• Unification in some substructural logics of BL-algebras and hoops

Cites work

• scientific article; zbMATH DE number 3342898 (Why is no real title available?)
• scientific article; zbMATH DE number 3348150 (Why is no real title available?)
• Classification systems and the decompositions of a lattice into direct products
• Commutative integral bounded residuated lattices with an added involution
• Discriminator varieties and symbolic computation
• Filtering unification and most general unifiers in modal logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Residuated lattices. An algebraic glimpse at substructural logics
• Splittings of lattices of theories and unification types
• The Direct Decomposition of l-algebras into Products of Subdirectly Irreducible Factors
• Unification in modal and description logics
• Unification in some substructural logics of BL-algebras and hoops
• Unification theory
• Unification through projectivity
• Unification types in logic
• Unification, finite duality and projectivity in varieties of Heyting algebras

Cited in

(4)

• Projectivity in (bounded) commutative integral residuated lattices
• Unification in some substructural logics of BL-algebras and hoops
• Projectivity and unification in substructural logics of generalized rotations
• scientific article; zbMATH DE number 566414 (Why is no real title available?)

This page was built for publication: Direct product of \(\ell\)-algebras and unification: an application to residuated lattices

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