Open Access
Afrika Matematika, volume 36, issue 1, publication number 47
When implication algebras can be residuated lattices?
Basim Samir
1
,
Huda Merdach
2
Publication type: Journal Article
Publication date: 2025-01-29
Journal:
Afrika Matematika
scimago Q3
SJR: 0.355
CiteScore: 2.0
Impact factor: 0.9
ISSN: 10129405, 21907668
Abstract
M. Ward and R.P. Dilworth were the first to describe the commutative residuated lattices as a generalization of ideal ring lattices. Complete studies on residuated lattices were developed by H. Ono, T. Kowalski, P. Jipsen and C. Tsinakis. Furthermore, Y. Xu is credited with the invention of lattice implication algebra. The aim of the paper was to link up the structures used in foundations of quantum logic and arising in many-valued reasoning. It is shown that implication algebra with unity can be described as residuated lattice.
Found
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.