摘要
研究了Tarski代数和模态代数的主同余。结合布尔代数的主同余的结果,给出Tarski代数和模态代数的主同余的刻画。
The principal congruences of Tarski algebras and modal algebras are studied.Combined with the result of principal congruence of Boolean algebra,the characterization of principal congruence of Tarski algebra and modal algebra is given.
作者
曹发生
CAO Fa-sheng(Department of Cognitive Science,Guizhou Minzu University,Guiyang 550025,Guizhou,China)
出处
《山东大学学报（理学版）》
CAS
CSCD
北大核心
2020年第10期20-23,共4页
Journal of Shandong University(Natural Science)
基金
国家社会科学基金资助项目(20XZX017)。
关键词
主同余
主同余公式
Tarski代数
模态代数
principal congruence
principal congruence formula
Tarski algebra
modal algebra
