有穷深度的传递濒表格逻辑的有穷公理化问题  

The Finite Axiomatization of Transitive Pretabular Logics of Finite Depths

作　　者：杜珊珊 Shanshan Du(School of Philosophy,Wuhan University)

机构地区：[1]武汉大学哲学学院

出　　处：《逻辑学研究》2024年第3期74-85,共12页Studies in Logic

基　　金：supported by“The Fundamental Research Funds for the Central Universities(No.410500139)”。

摘　　要：本文试图解决有穷深度的传递的濒表格逻辑的公理化问题。这是作者之前所解决的传递的濒表格逻辑判据工作的后继。本文使用了模态逻辑的先进技术典范公式来解决NExtK4格(即传递逻辑格)中的每一个有穷深度濒表格逻辑的公理化问题。我们所得到的结论不仅是它们的有穷可公理化,更是如何可公理化的可操作性方法。这种可操作性方法是和模型密切相关的。This paper attempts to resolve the problem of how to axiomatize transitive pretabular logics of finite depth.It is the follow-up work on transitive pretabular logics after the crieria for transitive pretabular logics.This paper uses canonical formulas to axiomatize each pretabular logic of finite depth in NExtK4.

关 键 词：公理化 模态逻辑 表格 可操作性 深度 传递 

分 类 号：B815.1[哲学宗教—逻辑学]