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

zbMATH Open1398.08007MaRDI QIDQ4963142FDOQ4963142

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/

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

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)

Cites Work

• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Unification theory
• 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
• Unification in some substructural logics of BL-algebras and hoops
• Unification through projectivity
• Splittings of lattices of theories and unification types
• Unification in modal and description logics
• Title not available (Why is that?)
• Unification types in logic
• Filtering unification and most general unifiers in modal logic
• Classification systems and the decompositions of a lattice into direct products
• The Direct Decomposition of l-algebras into Products of Subdirectly Irreducible Factors
• Title not available (Why is that?)

Cited In (3)

• Projectivity in (bounded) commutative integral residuated lattices
• Unification in some substructural logics of BL-algebras and hoops
• Title not available (Why is that?)

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)