典型文献
对称的时态海廷代数
文献摘要：
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展.本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代数模型论的方法得到证明.
文献关键词：
中图分类号：
作者姓名：
葛雪
作者机构：
厦门大学哲学系
文献出处：
引用格式：
[1]葛雪-.对称的时态海廷代数)[J].逻辑学研究,2022(03):18-35
A类：
sIK
B类：
algebras,爱华,直觉主义,时态逻辑,逻辑代数,S4,希尔伯特,公理化,有穷,FMP,演算,模型论
AB值：
0.476355
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
