Объединение многообразий алгебр
Г.В. Дорофеев (1976)
Algebra i Logika
Similarity:
Displaying similar documents to “Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость”
Объединение многообразий алгебр
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)
Algebra i Logika
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
О многообразиях обобщенно стандартных и обобщенно достижимых алгебр
Г.В. Дорофеев (1976)
Algebra i Logika
Similarity:
О регулярно определимых многообразиях алгебр
Д.М. Смирнов (1976)
Algebra i Logika
Similarity:
Конечномерные правоальтернативные алгебры, порождающие не конечнобазируемые многообразия.
И.М. Исаев (1986)
Algebra i Logika
Similarity:
Модальные логики конечных слоев.
Л.Л. Максимова (1975)
Algebra i Logika
Similarity:
Неразрешимые свойства расширений логики доказуемости. II
A.B. Чагров (1990)
Algebra i Logika
Similarity:
О решетке нормальных модальных логик.
Л.Л. Максимова, В.В. Рыбаков (1974)
Algebra i Logika
Similarity:
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity: