Author:
Maksimova L. L.,Yun V. F.
Reference16 articles.
1. Odintsov S. P., Constructive Negations and Paraconsistency, Springer, Dordrecht (2008) (Ser. Trends in Logic; Vol. 26).
2. Maksimova L. L. and Yun V. F., “Perceptibility in pre-Heyting logics,” Sib. Electr. Math. Reports, vol. 17, 1064–1072 (2020).
3. Johansson I., “Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus,” Compos. Math., vol. 4, 119–136 (1937).
4. Maksimova L. L. and Yun V. F., “Recognizable logics,” Algebra Logic, vol. 54, no. 2, 183–187 (2015).
5. Maksimova L. L. and Yun V. F., “Strong decidability and strong recognizability,” Algebra Logic, vol. 56, no. 5, 370–385 (2017).