О нестандартных подпрямых представлениях в аксиоматизируемых классах.
Р.А. Байрамов, О.М. Мамедов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка.”
О нестандартных подпрямых представлениях в аксиоматизируемых классах.
Структурные характеристики универсальных классов
С.Р. Когаловский (1963)
Sibirskij matematiceskij zurnal
Similarity:
Категоричные хорновы классы.I
Е.А. Палютин (1980)
Algebra i Logika
Similarity:
Индуктивные представления булевых функций и конечная порождаемость классов Поста.
Г.П. Гаврилов (1984)
Algebra i Logika
Similarity:
Цепные классы участочно-монотонных функций логики первой матрицы Яськовского
В.П. Малай (1987)
Matematiceskie issledovanija
Similarity:
К существованию конечных базисов в замкнутых классах булевых функций.
С.С. Марченков (1984)
Algebra i Logika
Similarity:
Семантически универсальные классы моделей.
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
О параметрической выразимости функций трехзначной логики
А.Ф. Данильченко (1977)
Algebra i Logika
Similarity:
Классы обобщенных нильпотентных и разрешимых групп
М.Х. Асиайн (1996)
Sibirskij matematiceskij zurnal
Similarity:
Об L-эквивалентности систем функций в многозначных логиках
Ван Хоа Нгуен (1988)
Algebra i Logika
Similarity:
О финитно редукционных классах моделей
С.Р. Когаловский (1965)
Sibirskij matematiceskij zurnal
Similarity:
О категоричных квазимногообразиях произвольной сигнатуры.
Е.А. Палютин (1973)
Sibirskij matematiceskij zurnal
Similarity:
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
С.И. Мардаев (1984)
Algebra i Logika
Similarity:
О классификации суперстабильных теорий по ранговым функциям
Т.Г. Мустафин (1985)
Algebra i Logika
Similarity:
Вложения импликатных решеток и суперинтуиционистские логики
С.И. Мардаев (1987)
Algebra i Logika
Similarity:
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.
М.Г. Перетятькин (1983)
Algebra i Logika
Similarity:
Итерированные обогащения моделей счетных теорий и их приложения.
С.С. Гончаров, М. Пурмахдиан, S. S. Gončarov, M. Purmachdian, S. S. Gončarov, M. Purmahdian, S. S. Gončarov, M. Purmachdian (1995)
Algebra i Logika
Similarity: