Monadic NM-algebras
Monadic NM-algebras
复制标题
一元 NM 代数
DOI：
10.1093/jigpal/jzz005
复制
发表时间：
2017-09
影响因子：
1
通讯作者：
Yanhong She
中科院分区：
文献类型：
--
作者：
Juntao Wang;Pengfei He;Yanhong She
In this paper, we investigate universal and existential quantifiers on NM-algebras. The resulting class of algebras will be called monadic NM-algebras. First, we show that the variety of monadic NM-algebras is algebraic semantics of the monadic NM-predicate logic. Moreover, we discuss the relationship among monadic NM-algebras, modal NM-algebras and rough approximation spaces. Second, we introduce and investigate monadic filters in monadic NM-algebras. Using them, we prove the subdirect representation theorem of monadic NM-algebras, and characterize simple and subdirectly irreducible monadic NM-algebras. Finally, we present the monadic NM-logic and prove its (chain) completeness with respect to (strong) monadic NM-algebras. These results constitute a crucial first step for providing an algebraic foundation for the monadic NM-predicate logic.
登录
查看更多内容
DOI：
10.1007/978-94-011-5300-3
发表时间：
1998-08
期刊：
--
影响因子：
--
作者：
P. Hájek
通讯作者：
P. Hájek
影响因子：
4.1
作者：
Juntao Wang;X. Xin;Pengfei He
通讯作者：
Juntao Wang;X. Xin;Pengfei He
DOI：
10.1007/s11083-008-9088-2
发表时间：
2008-07
期刊：
Order
影响因子：
--
作者：
J. Rachunek;Filip Svrcek
通讯作者：
J. Rachunek;Filip Svrcek
DOI：
10.1007/978-94-017-0452-6_3
发表时间：
2007
期刊：
--
影响因子：
--
作者：
H. Madarász
通讯作者：
H. Madarász
DOI：
--
发表时间：
1999
期刊：
--
影响因子：
--
作者：
E. Turunen
通讯作者：
E. Turunen