Ограниченная интерполяция и проективное свойство Бета в эквациональной логике

Л.Л. Максимова

The search session has expired. Please query the service again.

Displaying similar documents to “Ограниченная интерполяция и проективное свойство Бета в эквациональной логике”

Интерполяция в суперинтуиционистских логиках предикатов с равенством.

Л.Л. Максимова, L. L. Maksimova, L. L. Maksimova, L. L. Maksimova (1997)

Algebra i Logika

Similarity:

Интерполяционные теоремы в модальных логиках. Достаточные условия

Л.Л. Максимова (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: