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