核心概念
Nelson algebras and residuated lattices are explored in-depth, focusing on their applications to rough set theory.
摘要
過去50年間、ネルソン代数は、ネルソンの構成的論理の代数的対応として、著名な学者によって広く研究されてきました。しかし、このトピックの包括的な調査は現在も存在せず、ネルソン代数の理論はほとんどの論理学者にとって未知のままです。この論文は、過去20年間の分野での重要な発展に焦点を当てることで、このギャップを埋めることを目指しています。さらに、N4-格子などのネルソン代数の一般化やその他の関連領域への応用についても探求します。各ネルソン代数が準序によって誘導されたラフセットベースのネルソン代数部分代数であることを示す一般的表現定理が提供されます。さらに、式が有効であるかどうかは、準序によって誘導された有限なネルソン代数全体で有効である場合に限ります。
统计
50年間以上にわたり研究されてきた。
過去20年間で重要な発展が見られる。
ラフセット理論への応用が探求されている。
各ネルソン代数は準序によって誘導されたラフセットアルジェブラ部分アルジェブラと同型である。
式が有効であるかどうかは、準序によって誘導された有限なネルソン代数全体で有効である場合に限ります。
引用
"Since the turn of the twenty-first century, several noteworthy results have emerged in this area that we believe should be consolidated and reviewed in a single publication."
"We hope to have fulfilled both of these goals, but especially the latter."
"The introduction of Nelson logic was part of a larger effort to provide a constructive account of mathematical reasoning."