|
|||||
|
|
| 相对假补格上的量词运算 | |
| 引用本文： | 高恒珊.相对假补格上的量词运算[J].数学进展,1963(3). |
| 作者姓名： | 高恒珊 |
| 作者单位： | 中国科学技术大学 |
| 摘 要： | 如所周知,Boole代数可看作对古典二值命题演算进行抽象所得代数系统。作为古典一目谓词演算及古典狭谓词演算的代数抽象则有一元Boole代数及多元Boole代数的理论。后者已由Halmos在一系列题为《代数逻辑》的论文中加以发展。对于各种非古典演算,建立相应的抽象代数理论也是可能的。Tarski和McKinsey等已对某些著名的非古典命题演算进行了此类研究,并由之解决了相应演算的语义完全性问题。例如,对于Heyting的直觉主义演算,相应的代数为Brouwer代数或其对偶── |
| 本文献已被 CNKI 等数据库收录！ | |