论文摘要
引入了E-Heyting偏序集和伪补交半格的概念,证明了若B=（B,∨,∧,0,1）为有0,1的格,则B为Boolean代数当且仅当B为Heyting且其正规完备化为Boolean代数,当且仅当B为伪补交半格且其正规完备化为Boolean代数。
论文目录
文章来源
类型: 期刊论文
作者: 江碧霞,徐晓泉
关键词: 代数,正规完备化
来源: 模糊系统与数学 2019年06期
年度: 2019
分类: 基础科学
专业: 数学
单位: 江西师范大学数学与信息科学学院
基金: 国家自然科学基金资助项目(11661057),“赣鄱英才555工程”领军人才培养计划项目,江西省自然科学基金资助项目(20192ACBL20045)
分类号: O153.1
页码: 161-164
总页数: 4
文件大小: 126K
下载量: 7
相关论文文献
- [1].Constructions of 1-Resilient Boolean Functions with High Nonlinearity and Good Algebraic Degree[J]. Chinese Journal of Electronics 2020(04)
- [2].Structural controllability of Boolean control networks with an unknown function structure[J]. Science China(Information Sciences) 2020(11)
- [3].Decomposition of nonlinear feedback shift registers based on Boolean networks[J]. Science China(Information Sciences) 2019(03)
- [4].Output reachability analysis and output regulation control design of Boolean control networks[J]. Science China(Information Sciences) 2017(02)
- [5].Solving Boolean equation systems and applications in cryptanalysis[J]. Science China(Information Sciences) 2016(05)
- [6].Global Avalanche Characteristics of Boolean Functions by Concatenation[J]. Journal of Harbin Institute of Technology 2016(03)
- [7].Control of random Boolean networks via average sensitivity of Boolean functions[J]. Chinese Physics B 2011(03)
- [8].Improving BDD-based attractor detection for synchronous Boolean networks[J]. Science China(Information Sciences) 2016(08)
- [9].Singular Boolean networks:Semi-tensor product approach[J]. Science China(Information Sciences) 2013(11)
- [10].Construction of almost optimal resilient Boolean functions via concatenating Maiorana-McFarland functions[J]. Science China(Information Sciences) 2011(04)
- [11].Characterizing differential support of vectorial Boolean functions using the Walsh transform[J]. Science China(Information Sciences) 2020(03)
- [12].Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories[J]. Science China(Information Sciences) 2013(10)
- [13].On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Gr?bner Basis Algorithms Using Linear Algebra[J]. Journal of Systems Science & Complexity 2016(03)
- [14].A Study on Monotone Self-Dual Boolean Functions[J]. Acta Mathematicae Applicatae Sinica 2017(01)
- [15].Maximal contractions in Boolean algebras[J]. Science China(Information Sciences) 2012(09)
- [16].The GAC Property of a Class of 1-Resilient Functions with High Nonlinearity[J]. Chinese Journal of Electronics 2020(02)
- [17].Observability of Boolean control networks[J]. Science China(Information Sciences) 2018(09)
- [18].Construction and Count of 1-Resilient Rotation Symmetric Boolean Functions on 4p Variables[J]. Chinese Journal of Electronics 2017(06)
- [19].Vectorial Resilient PC(l) of Order k Boolean Functions from AG-Codes[J]. Chinese Annals of Mathematics(Series B) 2011(01)
- [20].Mean square stability for Markov jump Boolean networks[J]. Science China(Information Sciences) 2020(01)
- [21].Data set approach for solving logical equations[J]. Science China(Information Sciences) 2020(06)
- [22].A Combinatorial Condition and Boolean Functions with Optimal Algebraic Immunity[J]. Journal of Systems Science & Complexity 2015(03)
- [23].基于伪随机子集生成的Boolean函数[J]. 数学杂志 2018(01)
- [24].Construction and Count of 1-Resilient Rotation Symmetric Boolean Functions on p~r Variables[J]. Chinese Journal of Electronics 2014(04)
- [25].Construction of Generalized Quantum Boolean Functions[J]. Chinese Journal of Electronics 2019(03)
- [26].Metaphoric and Literal Readings for Spatial Prepositions: The Case of Boolean Phrases[J]. Language and Semiotic Studies 2015(03)
- [27].Further results on constructions of generalized bent Boolean functions[J]. Science China(Information Sciences) 2016(05)
- [28].The Mean-value of Meromorphic Functions with Respect to a Generalized Boolean Transformation[J]. Acta Mathematica Sinica 2019(05)
- [29].The Characterizations of Hyper-Star Graphs Induced by Linearly Separable Boolean Functions[J]. Chinese Journal of Electronics 2018(01)
- [30].Constructions of vectorial Boolean functions with good cryptographic properties[J]. Science China(Information Sciences) 2016(11)