Об одном суперинтуиционистском исчислении высказываний
Д.П. Скворцов (1985)
Algebra i Logika
Similarity:
Displaying similar documents to “Об алгебраической семантике для суперинтуиционистских предикатных логик.”
Об одном суперинтуиционистском исчислении высказываний
Семантика для первого квартета Т. Элиота.
А. Крон (1999)
Algebra i Logika
Similarity:
Теорема Веддербарна об отщеплении радикала для (-1,1)-алгебр.
И.М. Михеев, I.M. Micheev, I.M. Miheev, I.M. Mikheev (1973)
Algebra i Logika
Similarity:
Об эффективно гиперпростых множествах.
М.М. Арсланов (1969)
Algebra i Logika
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Об определимости в алгебраически замкнутых системах.
М.Ю. Трофимов (1975)
Algebra i Logika
Similarity:
Независимые базисы для правил, допустимых в предтабличных логиках
В.В. Рыбаков, В.Р. Кияткин, М. Терзилер (2000)
Algebra i Logika
Similarity:
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)
Algebra i Logika
Similarity:
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Минимизация одной функции сложности в классе МП-автоматов и категориальные грамматики сложности три.
А.Я. Диковский, Л.С. Модина (1968)
Algebra i Logika
Similarity:
Об элементарных теориях решеток идеалов в кольцах многочленов.
М.А. Тайцлин (1968)
Algebra i Logika
Similarity: