有界半Hoops上的时态算子Tense operators on bounded semihoops
牛海灵;辛小龙;
摘要(Abstract):
给出了有界半Hoops上的时态算子的定义,研究了其性质.进一步探究了半Hoops上的时态滤子,给出了时态滤子的刻画.最后讨论了半Hoops上的极大时态滤子,得到了一些重要结果.
关键词(KeyWords): 半Hoops;时态算子;时态滤子;极大时态滤子
基金项目(Foundation): 国家自然科学基金(11301417,11371292)
作者(Authors): 牛海灵;辛小龙;
参考文献(References):
- [1] Esteva F, Godo L. Monoidal t-norm based logic:towards a logic for left-continuous t-norms[J].Fuzzy Sets and Systems, 2001,124:271-288.
- [2] Kowalski T, Ono H. Residuated Lattices:An Algebraic Glimpse at Logic without Contraction[M].New York:Springer-Verlag, 2011.
- [3] Bosbach B. Komplementa¨re halbgruppen Axiomatik und Arithmetik[J]. Fundamental Mathematic,2012,64:257-287.
- [4] Esteva F, Godo L, H′ajek P, et al. Hoops and fuzzy logic[J]. Journal of Logic and Computation,2003,13:532-555.
- [5] Ward M, Dilworth P R. Residuated lattice[J]. Proceeding of the National Academy of Science of the United States of America, 1938,24(3):162-164.
- [6] Burgess J P. Basic tense logic[J]. Handbook of Philosophical Logic, 1984,7:1-42.
- [7] Chajda I. Algebraic axiomatization of tense intuitionistic logic[J]. Central European Journal of Mathematics, 2011,9(5):1185-1191.
- [8] Botur M. Tense operators on basic algebras[J]. Intrational Journal of Theoretical Physics, 2011,50(12):3737-3749.
- [9] Chajda I, Paseka J. Dynamic effect algebras and their representations[J]. Soft Computing, 2012,16(10):1733-1741.
- [10] Chajda I, Paseka J. Tense operators in fuzzy logic[J]. Fuzzy Sets and Systems, 2015,276:100-113.
- [11] Botur M, Paseka J. On tense MV-algebras[J]. Fuzzy Sets and Systems, 2015,259:111-125.
- [12] Chen W J. Tense operators on pseudo-MV algebras[J]. Quantitative Logic and Soft Computing,2016,3:349-359.
- [13] Bakhshi M. Tense operators on non-commutative residuated lattices[J]. Soft computing, 2017,21:4257-4268.
- [14] Borzooei R A, Kologani M A. Local and perfect semihoops[J]. Journal of Intelligent and Fuzzy Systems, 2015,29:223-234.