王梅
- 作品数：3 被引量：5H指数：2
- 供职机构：陕西科技大学更多>>
- 发文基金：陕西省自然科学基金国家自然科学基金更多>>
- 相关领域：理学轻工技术与工程更多>>
- 真空浸渍蒸煮制浆工艺被引量：2
- 2005年
- 本文主要对影响真空浸渍的各因素进行了研究及理论分析,通过实验确定了最佳的真空浸渍工艺参数及真空浸渍蒸煮条件,并对两种蒸煮方法的工艺参数及结果进行了比较分析。
- 杜煜张安龙董继先王梅
- 关键词：制浆蒸煮真空浸渍
- 一元子结构谓词逻辑中相似的代数语义
- 2023年
- 借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入了相似一元剩余格对应的逻辑系统,证明了其完备性定理,并解决了其最小半线性扩张问题.
- 王军涛王梅折延宏
- 逻辑系统MTL中任意量词的代数研究被引量：3
- 2021年
- 一元MV-代数(L,?)由MV-代数连同其上的一个一元算子?构成,其中?是一元多值谓词逻辑中任意量词的代数解释.考虑到MTL-代数是一类范围最广的基于三角模的逻辑代数,为了给一元三角模谓词逻辑中任意量词提供统一的代数语义,文章引入了一元MTL-代数,研究其基本的代数性质以及对应的滤子,证明了一元MTL-代数是一元MV-代数和一元布尔代数的自然推广.其次,基于一元滤子刻画了可表示一元MTL-代数,证明了半单一元MTL-代数的次直积表示定理,揭示了强一元MTL-代数和可表示一元MTL-代数是等价的.最后,引入了一元MTL-代数簇对应的模态逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的充分必要条件.
- 王军涛王梅
- 关键词：滤子半线性
