Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
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: