The Finite Axiomatization of Transitive Pretabular Logics of Finite Depths
This paper attempts to resolve the problem of how to axiomatize transitive pretab-ular 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.
杜珊珊
展开 >
武汉大学哲学学院
Fundamental Research Funds for the Central Universities
万方数据
维普
