Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Л.Л. Максимовa (1989)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Об интерполяции в нормальных модальных логиках”
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Интерполяция в бесконечнослойных расширениях логики доказуемости
Л.Л. Максимова (1988)
Algebra i Logika
Similarity:
Отсутствие интерполяции и свойства Бета во временных логиках с оператором "The next''
Л.Л. Максимова (1991)
Sibirskij matematiceskij zurnal
Similarity:
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Л.Л. Максимова (1979)
Algebra i Logika
Similarity:
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Л.Л. Максимова, L. L. Maksimova, L. L. Maksimova, L. L. Maksimova (1997)
Algebra i Logika
Similarity:
О решетке нормальных модальных логик.
Л.Л. Максимова, В.В. Рыбаков (1974)
Algebra i Logika
Similarity:
Ограниченная интерполяция и проективное свойство Бета в эквациональной логике
Л.Л. Максимова ([unknown])
Algebra i Logika
Similarity:
Интерполяционные теоремы в модальных логиках. Достаточные условия
Л.Л. Максимова (1980)
Algebra i Logika
Similarity:
Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость
Л.Л. Максимова (1992)
Algebra i Logika
Similarity:
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Явные определения неявно определимых объектов в некоторых модальных логиках.
Л.Л. Максимова (1997)
Sibirskij matematiceskij zurnal
Similarity:
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)
Algebra i Logika
Similarity:
Неявная определимость и позитивные логики
Л.Л. Максимова (2003)
Algebra i Logika
Similarity:
Об одной классификации модальных логик.
Л.Л. Максимова (1979)
Algebra i Logika
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Модальные логики конечных слоев.
Л.Л. Максимова (1975)
Algebra i Logika
Similarity:
Интерполяционное свойство и суперинтуиционистские предикатные логики
Д.Е. Тишковский (1998)
Sibirskij matematiceskij zurnal
Similarity:
Об исчислении строгой импликации.
Л.Л. Максимова (1968)
Algebra i Logika
Similarity:
Предтабличные расширения логики S4 Льюиса.
Л.Л. Максимова (1975)
Algebra i Logika
Similarity:
Промежуточная предикатная логика без свойств Бета.
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)
Algebra i Logika
Similarity:
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1996)
Algebra i Logika
Similarity: