Модальные логики с LM-аксиомами.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Displaying similar documents to “Сверхнезависимые суперинтуиционистские логики”
Модальные логики с LM-аксиомами.
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
Наследственно конечно-аксиоматизируемые расширения логики S4
В.В. Рыбаков (1976)
Algebra i Logika
Similarity:
О некотором ослаблении интуиционистской логики
Ю.Н. Толстова (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Допустимые правила предтабличных модальных логик
В.В. Рыбаков (1981)
Algebra i Logika
Similarity:
Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике.
А.Д. Яшин (2002)
Algebra i Logika
Similarity:
Многообразия логических матриц
А.В. Чагров (1985)
Algebra i Logika
Similarity:
Явные определения неявно определимых объектов в некоторых модальных логиках.
Л.Л. Максимова (1997)
Sibirskij matematiceskij zurnal
Similarity:
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)
Algebra i Logika
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:
Роль детерминизма в языках запросов для баз данных.
С.С. Магазов (1987)
Sibirskij matematiceskij zurnal
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Similarity:
Арифметизация символической логики
И.И. Жегалкин ([unknown])
Matematiceskij sbornik
Similarity:
Неявная определимость и позитивные логики
Л.Л. Максимова (2003)
Algebra i Logika
Similarity:
Нетабличность логики S4 по функциональной полноте.
М.Ф. Раца (1982)
Algebra i Logika
Similarity:
Об одном расширении логики Габбая
А.Д. Яшин (1998)
Sibirskij matematiceskij zurnal
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Уровневые логики
Н.К. Косовский (1995)
Zapiski naucnych seminarov POMI
Similarity:
Интерполяционное свойство и суперинтуиционистские предикатные логики
Д.Е. Тишковский (1998)
Sibirskij matematiceskij zurnal
Similarity:
Неразрешимые свойства расширения логики доказуемости
А.В. Чагров (1990)
Algebra i Logika
Similarity:
Цепные классы участочно-монотонных функций логики первой матрицы Яськовского
В.П. Малай (1987)
Matematiceskie issledovanija
Similarity:
Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр
А.И. Циткин (1987)
Matematiceskie issledovanija
Similarity:
Объединение логик, моделируемых конечными деревьями.
Я.М. Другуш (1982)
Algebra i Logika
Similarity: