Scholarlink

<p>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.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

When implication algebras can be residuated lattices?

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年1月29日

查看全文
  • Basim Samir,
  • Huda Merdach

摘要

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.