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