Промежуточная предикатная логика без свойств Бета. П.А. Шрайнер; P. A. Šrajner; P. A. Šrajner; P. A. Šrajner — 1998 Algebra i Logika
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках П.А. Шрайнер; P. A. Šrajner; P. A. Šrajner; P. A. Šrajner — 1996 Algebra i Logika