期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
从模态矩阵到模态代数
1
作者 周北海 《北京大学学报(哲学社会科学版)》 CSSCI 北大核心 1993年第1期84-93,共10页
模态代数语义学是模态逻辑的三大内容之一,从理论上看,对模态逻辑的发展起着深层次的影响作用。模态代数语义学的基本形式是模态矩阵。通过模态矩阵解决了一些模态系统的如判定性和完全性等重要问题。模态代数是最简单的一种模态矩阵。... 模态代数语义学是模态逻辑的三大内容之一,从理论上看,对模态逻辑的发展起着深层次的影响作用。模态代数语义学的基本形式是模态矩阵。通过模态矩阵解决了一些模态系统的如判定性和完全性等重要问题。模态代数是最简单的一种模态矩阵。因为这一简单性便于作深入的研究,形成了摸态代数语义学偏重于模态代数的发展方向;由此还形成了正规模态逻辑的概念,以及相应地使模态逻辑形成了偏重于正规模态逻辑的发展方向。模态代数为关系语义学的产生提供了理论基础。 展开更多
关键词 模态矩阵 正规矩阵 模态代数 S4代数
原文传递
模态代数的主同余 被引量:1
2
作者 曹发生 肖方 《山东大学学报(理学版)》 CAS CSCD 北大核心 2020年第2期104-108,共5页
研究了布尔代数和模态代数的主同余,严格按照布尔代数和模态代数的主同余的定义,给出了布尔代数和模态代数的主同余刻画。
关键词 主同余 主同余公式 布尔代数 模态代数
原文传递
模态R_0代数的模态滤子 被引量:1
3
作者 段景瑶 《兰州理工大学学报》 CAS 北大核心 2013年第1期151-155,共5页
在模态R0代数中引入生成模态滤子的概念.证明模态R0代数中全体模态滤子之集可构成有界分配格.得到生成模态滤子为真滤子的条件.
关键词 模态R0代数 模态滤子 有界分配格 有限平方交性质
下载PDF
余代数与模态逻辑 被引量:1
4
作者 史璟 《西南大学学报(社会科学版)》 CSSCI 北大核心 2011年第4期87-93,共7页
近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性的理论,因此余代数也就成为非常抽象的数学结构。从广义上说,... 近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性的理论,因此余代数也就成为非常抽象的数学结构。从广义上说,余代数处理基于状态的动态系统,比如理论计算机科学中的(加标)转换系统、模态逻辑的模型和框架等等,它是基于状态的动态系统的抽象模型。本文首先介绍余代数的基本概念,然后论述它在非良基集合论研究中的起源,接着说明余代数与模态逻辑的联系。最后,余代数提供了一种处理模态逻辑语义的抽象模型,因此具有十分广泛的应用。 展开更多
关键词 动态系统 非良基集合 模态逻辑 代数 代数同态 代数模态逻辑
下载PDF
Tarski代数和模态代数的主同余
5
作者 曹发生 《山东大学学报(理学版)》 CAS CSCD 北大核心 2020年第10期20-23,共4页
研究了Tarski代数和模态代数的主同余。结合布尔代数的主同余的结果,给出Tarski代数和模态代数的主同余的刻画。
关键词 主同余 主同余公式 Tarski代数 模态代数
原文传递
模态R_0代数与模态滤子的若干性质 被引量:1
6
作者 马海斌 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第4期1-5,共5页
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b... 进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}. 展开更多
关键词 模态逻辑 R0代数 模态R0代数 模态算子 模态滤子
下载PDF
An Introduction to the Theory of C~*-modules
7
作者 邓宏钧 刘德权 《Chinese Quarterly Journal of Mathematics》 CSCD 1992年第2期72-77,共6页
This paper,combined algebraical structure with analytical system,has studied the part of theory of C~*-modules over A by using the homolgical methods, where A is a commutative C~*-algebra over complex number field C. ... This paper,combined algebraical structure with analytical system,has studied the part of theory of C~*-modules over A by using the homolgical methods, where A is a commutative C~*-algebra over complex number field C. That is to say we have not only defined some relevant new concept,but also obtained some results about them. 展开更多
关键词 commutative C~*-algebra C~*-module C~*-homomorphism
下载PDF
L-fuzzy Lattice Implication Algebra
8
作者 SONG Qing-loug LI Chun-rui ZHAO Guang-feng 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2006年第2期246-251,共6页
This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub latt... This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras. 展开更多
关键词 L-Fuzzy lattice implication algebra
下载PDF
拓扑量子计算与“耗散脑”神经计算的数学统一和实在论——人机共生原理:意识和物质的数学统一 被引量:2
9
作者 程守华 《系统科学学报》 CSSCI 北大核心 2019年第4期16-19,共4页
本文从量子场论、脑神经科学、逻辑学和计算机科学的数学统一模型的开创性理论--量子拓扑计算的建立表现出范畴论(CT)的强大性。其哲学意义是,动态耗散系统的数据分析模型应用范畴论方法建立,属于代数拓扑的最前沿和最新成就,表明现代... 本文从量子场论、脑神经科学、逻辑学和计算机科学的数学统一模型的开创性理论--量子拓扑计算的建立表现出范畴论(CT)的强大性。其哲学意义是,动态耗散系统的数据分析模型应用范畴论方法建立,属于代数拓扑的最前沿和最新成就,表明现代基础理论研究的综合统一的可能性和现实性。其哲学意义在于:充分利用物质世界的整体性统一性原则将动态过程性的定性和定量分析的实现,建立了对实在的统一性哲学的可能性和现实性。 展开更多
关键词 量子场论 拓扑量子计算 动态耗散系统 代数模态逻辑 “耗散脑”:范畴论 实在
原文传递
Quasi-triangular Hopf algebras and invariant Jacobians
10
作者 CHEN XiaoYu 《Science China Mathematics》 SCIE CSCD 2017年第3期421-430,共10页
We show that two module homomorphisms for groups and Lie algebras established by Xi(2012)can be generalized to the setting of quasi-triangular Hopf algebras.These module homomorphisms played a key role in his proof of... We show that two module homomorphisms for groups and Lie algebras established by Xi(2012)can be generalized to the setting of quasi-triangular Hopf algebras.These module homomorphisms played a key role in his proof of a conjecture of Yau(1998).They will also be useful in the problem of decomposition of tensor products of modules.Additionally,we give another generalization of result of Xi(2012)in terms of Chevalley-Eilenberg complex. 展开更多
关键词 quasi-triangular Hopf algebra universal R-matrix quantum group invariant Jacobian
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部