首页> 中文期刊> 《潍坊学院学报》 >m+1阶波斯特代数公理化的讨论

m+1阶波斯特代数公理化的讨论

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文对m+1阶波斯特代数进行了公理化的讨论,通过讨论,清楚地看到了m+1阶逻辑代数具有代数的可靠性定理和完全性定理.

著录项

来源
《潍坊学院学报》 |2002年第2期|20-23|共4页
作者
黄廷章;
展开▼
作者单位

潍坊学院,数学系,山东,潍坊,261041;

展开▼
原文格式 PDF
正文语种 chi
中图分类细胞生物学;
关键词
逻辑; 子链; 分配格; 二元运算;

相似文献

中文文献
外文文献
专利

1. 基于李代数sl(m+1,R)的多分量扰动AKNS孤子梯队 [J] . 狄艳媚 ,李春霞 ,沈守枫 . 数学物理学报 . 2018,第001期
2. 一阶微分代数方程组的相容性的讨论 [J] . 赵维加 . 山东纺织工学院学报 . 1994,第004期
3. 一类非线性二阶常微分方程m+1点边值问题的可解性 [J] . 徐嘉 . 甘肃科学学报 . 2006,第001期
4. 公理化及其在《高等代数》课程中的体现与作用 [J] . 黄朝凌 ,袁力 . 郧阳师范高等专科学校学报 . 2019,第006期
5. 公理化及其在《高等代数》课程中的体现与作用 [J] . 黄朝凌 ,袁力 . 汉江师范学院学报 . 2019,第006期
6. 汶川地震小鱼洞阶区和擂鼓阶区的同震地表破裂差异及其机制讨论 [C] . 谭锡斌 ,徐锡伟 . 中国地球物理学会第二十七届年会 . 2011
7. 几类广义Rough集模型的代数性质及其公理化 [A] . 俞育才 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号