李璧镜
- 作品数：13 被引量：30H指数：2
- 供职机构：宝鸡文理学院数学系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学文化科学更多>>
- 广义三角模和广义剩余蕴涵之间的对应关系被引量：3
- 2010年
- 进一步讨论了广义三角模和广义剩余蕴涵的对应性质,完善和修正了过去已有的一些定理结论,证明广义三角模和广义剩余蕴涵两者之间存在着两大类的对应关系,一类是可以构成伴随对的,而另一类则不能构成伴随对。
- 李璧镜王国俊
- 关键词：广义三角模伴随对
- 新组合概型的生成及其性质
- 2006年
- 以“秩”的形式给出了偏序集拟阵中限制与收缩两种运算作用相等的一个充要条件,显示了秩函数在研究偏序集拟阵中的重要作用.详细地讨论了产生新组合概型的限制、收缩、截短和延伸等运算,并研究了它们的一些性质.
- 李小南李璧镜李生刚
- 关键词：偏序集拟阵拟阵
- 大学解析几何课程教学改革的探索被引量：1
- 2013年
- 解析几何是大学数学专业的基础专业课程之一。文章对当前我国解析几何课程的教学现状进行了一定的分析,并且研究解析几何教学内容改革、教学方法及教学手段的更新,从而为教师教好这门课程,也为学生学好这门课程提供一些借鉴和帮助。
- 李璧镜
- 关键词：数学思想教学改革现代教育技术
- 模态逻辑中若干问题的研究
- 李璧镜
- 关键词：真度广义三角模
- 模态逻辑系统S5中相容理论的构造方法
- 2014年
- 在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
- 李璧镜
- 关键词：模态逻辑
- 模态逻辑系统S5中极大相容理论的结构刻画被引量：1
- 2014年
- 在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.
- 李璧镜
- 关键词：模态逻辑
- Tableau-based算法的改进与有限步终止定理
- 2008年
- 对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定.
- 王国俊李璧镜
- 关键词：描述逻辑
- Lukasiewicz逻辑系统中公式的真度理论和逻辑度量空间
- 近年来，模糊控制技术在应用方面取得了举世瞩目的成功.然而，作为其核心的模糊推理在数学基础上却并未无懈可击.所以，以研究模糊推理的数学基础为核心的模糊逻辑，作为一个全新的数学领域，引起了世界上许多著名学者的关注，并且取得了...
- 李璧镜
- 关键词：命题逻辑系统真度理论极限定理逻辑度量空间
- 文献传递
- 逻辑伪度量空间中的孤立点被引量：2
- 2010年
- 在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。
- 李璧镜王国俊
- 关键词：孤立点
- 正则蕴涵算子所对应的逻辑伪度量空间被引量：21
- 2010年
- 本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架.
- 李璧镜王国俊
