Abstract
We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section is even a Boolean algebra. A similar situation rises in case of the Lukasiewicz multiple-valued logic where sections are bounded commutative BCK-algebras, hence MV-algebras. Likewise, every integral residuated (semi)lattice is sectionally residuated in a natural way. We show that sectionally residuated semilattices can be axiomatized as algebras (A, r, →, ⇝, 1) of type 〈3, 2, 2, 0〉 where (A, →, ⇝, 1) is a {→, ⇝, 1}-subreduct of an integral residuated lattice. We prove that every sectionally residuated lattice can be isomorphically embedded into a residuated lattice in which the ternary operation r is given by r(x, y, z) = (x · y) ∨ z. Finally, we describe mutual connections between involutive sectionally residuated semilattices and certain biresiduation algebras.
Similar content being viewed by others
References
J. C. Abbott: Semi-boolean algebra. Matem. Vestnik 4 (1967), 177–198.
C. J. van Alten: Representable biresiduated lattices. J. Algebra 247 (2002), 672–691.
C. J. van Alten: On varieties of biresiduation algebras. Stud. Log. 83 (2006), 425–445.
R. Ceterchi: Pseudo-Wajsberg algebras. Mult.-Valued Log. 6 (2001), 67–88.
I. Chajda, R. Halaš and J. Kühr: Implication in MV-algebras. Algebra Univers. 52 (2004), 377–382.
R. L. O. Cignoli, I. M. L. D’Ottaviano and D. Mundici: Algebraic Foundations of Many-Valued Reasoning. Kluwer Acad. Publ., Dordrecht, 2000.
N. Galatos and C. Tsinakis: Generalized MV-algebras. J. Algebra 283 (2005), 254–291.
G. Georgescu and A. Iorgulescu: Pseudo-MV algebras. Mult.-Valued Log. 6 (2001), 95–135.
G. Georgescu and A. Iorgulescu: Pseudo-BCK algebras: An extension of BCK algebras. Proc. of DMTCS’01: Combinatorics, Computability and Logic, London, 2001, pp. 97–114.
P. Jipsen and C. Tsinakis: A survey of residuated lattices. Ordered Algebraic Structures (J. Martinez, ed.), Kluwer Acad. Publ., Dordrecht, 2002, pp. 19–56.
J. Kühr: Pseudo BCK-algebras and residuated lattices. Contr. Gen. Algebra 16 (2005), 139–144.
J. Kühr: Commutative pseudo BCK-algebras. To appear in Southeast Asian Bull. Math.
I. Leuştean: Non-commutative Łukasiewicz propositional logic. Arch. Math. Log. 45 (2006), 191–213.
J. Rachůnek: A non-commutative generalization of MV-algebras. Czech. Math. J. 52 (2002), 255–273.
M. Ward and R. P. Dilworth: Residuated lattices. Trans. Am. Math. Soc. 45 (1939), 335–354.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the Czech Government via the project MSM6198959214.
Rights and permissions
About this article
Cite this article
Chajda, I., Kühr, J. Join-semilattices whose sections are residuated PO-monoids. Czech Math J 58, 1107–1127 (2008). https://doi.org/10.1007/s10587-008-0073-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10587-008-0073-0