Please wait a minute...
北京大学期刊网 | 作者  审稿人  编委专家  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
研究论文
相对假补格上的量词运算

高恒珊;

中国科学技术大学,

收稿日期: 1963-09-25
出版日期: 1963-08-15

44
浏览

引用导出
0
    /   /   推荐

摘要  如所周知,Boole代数可看作对古典二值命题演算进行抽象所得代数系统。作为古典一目谓词演算及古典狭谓词演算的代数抽象则有一元Boole代数及多元Boole代数的理论。后者已由Halmos在一系列题为《代数逻辑》的论文中加以发展。对于各种非古典演算,建立相应的抽象代数理论也是可能的。Tarski和McKinsey等已对某些著名的非古典命题演算进行了此类研究,并由之解决了相应演算的语义完全性问题。例如,对于Heyting的直觉主义演算,相应的代数为Brouwer代数或其对偶──
No related articles found!
Viewed
Full text


Abstract

Cited

首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2017 北京大学图书馆 .