Schreiner Pavel Alexandrovich

Publications in Math-Net.Ru

1. Automatic recognition of interpolation in modal calculi
   
   Algebra Logika, 46:1 (2007),  103–119
2. Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:3 (2006),  49–58
3. On a fragment of intuitionistic logic that is complete with respect to the Kripke frames with finite domains
   
   Sibirsk. Mat. Zh., 41:2 (2000),  470–479
4. Intermediate predicate logic without the Beth property
   
   Algebra Logika, 37:1 (1998),  107–117
5. Absence of interpolation in some predicate superintuitionistic logics
   
   Algebra Logika, 35:1 (1996),  105–117