The Finite Axiomatization of Transitive Pretabular Logics of Finite Depths

Studies in Logic, Vol. 17, No. 3 (2024): 74–85                   PII: 1674­3202(2024)­03­0074­12

Shanshan Du

Abstract. 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.