О конечной базируемости по допустимости модальных логик ширины 2.
В.В. Римацкий (1999)
Algebra i Logika
Similarity:
Displaying similar documents to “Об аксиоматизации конечнозначных логических исчислений”
О конечной базируемости по допустимости модальных логик ширины 2.
Объединение логик, моделируемых конечными деревьями.
Я.М. Другуш (1982)
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:
Роль детерминизма в языках запросов для баз данных.
С.С. Магазов (1987)
Sibirskij matematiceskij zurnal
Similarity:
Базы допустимых правил логик S4 и Int
В.В. Рыбаков (1985)
Algebra i Logika
Similarity:
Модальные логики конечных слоев.
Л.Л. Максимова (1975)
Algebra i Logika
Similarity:
Синтаксис и семантика суперинтуиционистских логик
М.В. Захарьящев (1989)
Algebra i Logika
Similarity:
О выразительной силе некоторых динамических логик
А.П. Столбоушкин (1986)
Matematiceskij sbornik
Similarity:
О решетке нормальных модальных логик.
Л.Л. Максимова, В.В. Рыбаков (1974)
Algebra i Logika
Similarity:
Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
А.Ю. Муравицкий (1981)
Algebra i Logika
Similarity:
Лежандрова униформизация многозначных аналитических функций
Б.Ю. Стернин, В.Е. Шаталов (1980)
Matematiceskij sbornik
Similarity:
Об одной классификации модальных логик.
Л.Л. Максимова (1979)
Algebra i Logika
Similarity:
Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
М.В. Захарьящев (1989)
Matematiceskij sbornik
Similarity:
Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
Similarity:
Явные определения неявно определимых объектов в некоторых модальных логиках.
Л.Л. Максимова (1997)
Sibirskij matematiceskij zurnal
Similarity:
Модальные логики с LM-аксиомами.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Допустимые правила предтабличных модальных логик
В.В. Рыбаков (1981)
Algebra i Logika
Similarity:
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Л.Л. Максимовa (1989)
Sibirskij matematiceskij zurnal
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
О многочленах заданной высоты в конечных полях
И.Е. Шпарлинский (1989)
Matematiceskij sbornik
Similarity:
Об инвариантах конечных групп, порожденных отражениями
В.Ф. Игнатенко (1983)
Matematiceskij sbornik
Similarity:
О соответствии Беклунда
В.В. Жаринов (1989)
Matematiceskij sbornik
Similarity:
Неявная определимость и позитивные логики
Л.Л. Максимова (2003)
Algebra i Logika
Similarity:
Об L-эквивалентности систем функций в многозначных логиках
Ван Хоа Нгуен (1988)
Algebra i Logika
Similarity:
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
С.В. Бабенышев (1993)
Algebra i Logika
Similarity:
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Similarity:
Синтаксис и семантика модальных логик, содержащих S4
М.В. Захарьящев (1988)
Algebra i Logika
Similarity: