对称的时态海廷代数  

Symmetry Tense Heyting Algebras

作　　者：葛雪 Xue Ge(Department of Philosophy,Xiamen University)

机构地区：[1]厦门大学哲学系

出　　处：《逻辑学研究》2022年第3期18-35,共18页Studies in Logic

摘　　要：本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代数模型论的方法得到证明。In this paper we introduce the class of symmetry tense Heyting algebras(sIK.talgebras),which is a S4 extension of Ewald’s intuitionistic tense logic.We present the Hilbert axiomatization for sIK.t.Further we show the finite model property(FMP)for the logic of sIK.talgebras.The result is proved by proof theory and algebraic model theory,using the sequent systems introduced by the present paper.

关 键 词：时态逻辑 证明论 希尔伯特 代数模型 直觉主义 代数逻辑 

分 类 号：O15[理学—数学]