Публикации П.А. Шрайнера

-

1. Отсутствие интерполяции в некоторых предикатных суперинтуиционных логиках. Алгебра и Логика т.35, No 1(1996),105-117 -13с.
2. Промежуточная предикатная логика без свойств Бета. Алгебра и Логика т.37, No 1(1998),107-117 -11с.
3. Some predicate superintuitionistic logics without interpolation property and Beth's property.
4. Technical Reports Institute of Infoematics, Warsaw University, Abstracts of talks «Logic, Algebra and Computer Scince» (Helena Rasiowa in memoriam), December 1996, 68-69 -2с.
5. Failure of interpolation property and Beth's property in some predicate superintuitionistic logic.
   Abstract of papers Second Workshp on Non-Standard Logics and Logical Aspects of Computer Science, Irkutsk, Russia, June 1995, 74-75 -2c.
6. (В соавторстве с Ганусовой О. Г.) Автоматическая проверка наличия интерполяционного свояства Крейга у некоторых суперинтуиционистских пропозиционных логик.
   Тезисы доклада 34 Международной научной Студенческой конференции «Студент и научно-технический прогресс» (секция Математики), Новосибирск, 1996, 18-19 -2с.
7. Место Языка логического программирования Пролог в курсе информатики.
   Тезисы доклада: Международной конференции «Развитие личности в системе непрерывного образования», Новосибирск 1996, 117-119 -3с.
8. (В соавторстве с Мажельской Т.В.) Использование Языка логического программирования Пролог для написания программы по обработке керамики.
   Тезисы доклада: конференции «Керамика как исторический источник», Тобольск, 1996, 6-8 -3с.
9. (В соавторстве с Мажельской Т.В. и Назаровой О.Е.) Особенности организации описания объекта в программе по обработке керамического комплекса.
   Тезисы доклада 36 Региональной Археологической Студенческой конференции "Археология, палеонтология и этнология Сибири и Дальнего Востока ", Иркутск, 1996, 38-40 -3с.
10. (В соавторстве с Назаровой О.Е.) Особенности программы статистической обработки керамики.
    Тезисы доклада 34 Международной научной Студенческой конференции «Студент и научно-технический прогресс» (секция История), Новосибирск, 1996, 38-40 -3с.
11. Contnua of superintuitionostic predicate logics without Beth's property. Logic Colloquium'98 Abstracts Prague, Chech Republic, 1998, P.111 -1c.
12. О фрагменте предикатной иитуционистской логики полном относительно шкал Крипке с конечными областями.
    Новосибирск, 1998, Препринт, No 36, Издательство НИИ МИОО НГУ -21c.
13. Fragment of predicate intuitionostic logic complete under Kripke frames with finite domains.
    Abstract of Invited and Contributed Talks, Logic Colloquium, Utrecht, 1999 P.55 -1c.
14. Continua of equality-free superintuitionostic logics without the Beth property.
    Материалы Международной конференции по математической логике, посвящённой 90 летию со дня рождения А. И. Мальцева, Новосибирск, 1999, 110-111. -1с.