Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “О сильной и слабой сводимости алгоритмических проблем”
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
В.В. Рыбаков (1991)
Sibirskij matematiceskij zurnal
Similarity:
Локальная разрешимость функциональных уравнений и существование инвариантных многообразий
Л.П. Кучко (1977)
Sibirskij matematiceskij zurnal
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
О сходимости некоторых интерполяционных процессов для функций двух аргументов
И.П. Натансон (1953)
Matematiceskij sbornik
Similarity:
Об отношении между интуиционистскими и классическими модальными логиками.
Ф. Вольтер, М. Захарьящев, F. Vol'ter, M. Zachar'jaščev, F. Vol'ter, M. Zachar'ǎŝev, F. Vol'ter, M. Zachar'jaščev (1997)
Algebra i Logika
Similarity:
Bolzano's propositional Logic.
Y. Bar-Hillel (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Алгоритмическая природа инвариантных свойств грамматик непосредственно составляющих
А.В. Гладкий (1964)
Algebra i Logika
Similarity:
Плотность и непрерывность семейства инвариантных мер цепей Маркова, зависящих от параметра
Д.А. Коршунов (1996)
Sibirskij matematiceskij zurnal
Similarity:
Разрешимость проблемы сопряженности не переносится на конечные расширения групп.
А.В. Горяга, A.V. Gorjaga (1975)
Algebra i Logika
Similarity:
Алгоритмы выпуклого программирования, использующие сглаживание точных функций штрафа
А.А. Каплан (1982)
Sibirskij matematiceskij zurnal
Similarity:
О квазинормальных семействах полианалитических функций
М.Б. Балк (1977)
Sibirskij matematiceskij zurnal
Similarity: