Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Displaying similar documents to “Об одной классификации модальных логик.”
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Модальные логики конечных слоев.
Л.Л. Максимова (1975)
Algebra i Logika
Similarity:
О решетке нормальных модальных логик.
Л.Л. Максимова, В.В. Рыбаков (1974)
Algebra i Logika
Similarity:
Интерполяционные теоремы в модальных логиках. Достаточные условия
Л.Л. Максимова (1980)
Algebra i Logika
Similarity:
Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость
Л.Л. Максимова (1992)
Algebra i Logika
Similarity:
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)
Algebra i Logika
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Синтаксис и семантика суперинтуиционистских логик
М.В. Захарьящев (1989)
Algebra i Logika
Similarity:
Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
А.Ю. Муравицкий (1981)
Algebra i Logika
Similarity:
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Л.Л. Максимова (1979)
Algebra i Logika
Similarity:
Интерполяция в бесконечнослойных расширениях логики доказуемости
Л.Л. Максимова (1988)
Algebra i Logika
Similarity:
О конечной базируемости по допустимости модальных логик ширины 2.
В.В. Римацкий (1999)
Algebra i Logika
Similarity:
Неявная определимость и позитивные логики
Л.Л. Максимова (2003)
Algebra i Logika
Similarity:
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1996)
Algebra i Logika
Similarity:
Объединение логик, моделируемых конечными деревьями.
Я.М. Другуш (1982)
Algebra i Logika
Similarity:
Промежуточная предикатная логика без свойств Бета.
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)
Algebra i Logika
Similarity:
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Л.Л. Максимовa (1989)
Sibirskij matematiceskij zurnal
Similarity:
Об интерполяции в нормальных модальных логиках
Л.Л. Максимова (1987)
Matematiceskie issledovanija
Similarity:
Синтаксис и семантика модальных логик, содержащих S4
М.В. Захарьящев (1988)
Algebra i Logika
Similarity:
Неразрешимые свойства расширения логики доказуемости
А.В. Чагров (1990)
Algebra i Logika
Similarity:
Явные определения неявно определимых объектов в некоторых модальных логиках.
Л.Л. Максимова (1997)
Sibirskij matematiceskij zurnal
Similarity:
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
А.В. Чагров (1992)
Algebra i Logika
Similarity:
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Л.Л. Максимова, L. L. Maksimova, L. L. Maksimova, L. L. Maksimova (1997)
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:
Об исчислении строгой импликации.
Л.Л. Максимова (1968)
Algebra i Logika
Similarity:
О теории моделей на наследственно конечных надстройках.
В.Г. Пузаренко (2002)
Algebra i Logika
Similarity: