Author:
Maksimova L. L.,Yun V. F.
Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. I. Johansson, “Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus,” Comp. Math., 4, 119-136 (1937).
2. L. L. Maksimova, “Pretable superintuitionistic logics,” Algebra and Logic, 11, No. 5, 308-314 (1972).
3. M. I. Verkhozina, “Intermediate positive logics,” in Algorithmic Problems of Algebraic Systems [in Russian], Irkutsk (1978), pp. 13-25.
4. L. L. Maksimova and V. F. Yun, “The tabularity problem over the minimal logic,” Sib. Math. J., 57, No. 6, 1034-1043 (2016).
5. L. L. Maksimova, “Pretable extensions of the Lewis logic S4,” Algebra and Logic, 14, No. 1, 16-33 (1975).