10.3969/j.issn.1674-3202.2022.03.002
对称的时态海廷代数
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展.本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代数模型论的方法得到证明.
公理化系统、有穷模型性、时态逻辑、逻辑代数、直觉主义、代数模型、模型论、希尔伯特、证明论、sik.t-algebras
15
B81;O141;TP312
2022-11-03(万方平台首次上网日期,不代表论文的发表时间)
共18页
18-35