作者：梁飞德摩根代数四值逻辑时态德摩根逻辑关系语义显示系统
摘要：摘要：本文从语义学与证明论的角度研究了时态德摩根代数所对应的逻辑DMt。一方面，基于时态德摩根代数的表示定理，本文给出了时态德摩根逻辑的关系语义，并证明了DMt相对于该语义是可靠且完全的；另一方面，本文构造了DMt的保守扩张显示演算系统D．DMt，并证明了D．DMt的切割消除定理与子公式性质。此外，本文还简单讨论了基于时态德摩根逻辑的显示条件刻画定理。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《逻辑学研究》（CN：44-1649/C）是一本有较高学术价值的双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《逻辑学研究》是中国期刊全文数据库、万方数据——数字化期刊群、维普资讯——中文科技期刊数据库、中国核心期刊（遴选）数据库、中国学术期刊（光盘版）、CSSCI中文社会科学引文索引（2017—2018）等多个评估系统的来源期刊。
省级期刊
人气 228352 评论 69
人气 98009 评论 51
CSSCI南大期刊、北大期刊、统计源期刊
人气 80244 评论 50
CSSCI南大期刊、北大期刊
人气 55590 评论 73
