Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Кияткин В. Р. Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике РМ1 // Том 41 (2000), Номер 1, стр. 88–97 
Проблема разрешимости логических уравнений для некоторой логики $\lambda$
вызывает интерес по крайней мере по двум причинам.
Во-первых, с ней тесно связана проблема выводимости в логике $\lambda$,
во-вторых, она сводится к проблеме разрешимости логики $\lambda$ по
допустимости для правил вывода с параметрами.
Распознаваемость разрешимости логических уравнений впервые была установлена
В.~В.~Рыбаковым для модальной логики $S4$, интуиционистской логики $Int$, для
модальных логик $S$ и $GL$, аксиоматизирующих доказуемость и других.
Распознаваемость разрешимости логических уравнений с метапеременными в
табличных и предтабличных локально конечных модальных логиках $PM2$--$PM5$,
расширяющих логику $S4$, установлена автором.
Настоящая работа положительно решает проблему распознаваемости для
предтабличной модальной логики $PM1$. Библиогр.~3.
© Сибирский Математический Журнал, 2003-2006