О некотором ослаблении интуиционистской логики
Displaying 41 – 60 of 73
О некоторых мощностных свойствах структуры примитивных логик
И.С. Негру (1973)
Matematiceskie issledovanija
О некоторых подструктурах структуры всех логик высказываний с обычным понятием формулы
И.С. Негру (1972)
Matematiceskie issledovanija
О нумерациях канонически вычислимых семейств конечных множеств
В.Л. Селиванов (1977)
Sibirskij matematiceskij zurnal
О регулярности элементов релятива
Leo Anatoljewitsch Skornjakov (1989)
Archivum Mathematicum
О сложности реализации некоторых симметрических функций формулами глубины 3 в базисе &,
С.Е. Кузнецов, Н.Р. Нигматуллин (1985)
Verojatnostnye metody i kibernetika
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
С.И. Мардаев (1984)
Algebra i Logika
Об алгебраической семантике для суперинтуиционистских предикатных логик.
Д.Е. Тишковский, D.E. Tiškovskij, D.E. Tiškovskij, D.E. Tiškovskij (1999)
Algebra i Logika
Об одном многообразии алгебр
И.В. Витенько, В.В. Николенко (1974)
Sibirskij matematiceskij zurnal
Об одном погружении итеративных алгебр Поста в полугруппы.
Д.Г. Скордев (1982)
Algebra i Logika
Об одном усилении теорем Слупецкого и Яблонского
А.И. Мальцев (1967)
Algebra i Logika
Об элементарной теории структур подгрупп
М.И. Каргаполов (1962)
Algebra i Logika
Об элементарных теориях многообразий Поста
Ю.Л. Ершов (1967)
Algebra i Logika
Обобщение двух теорем Белоусова для сильно зависимых функций k-значной логики
Ф.Н. Сохацкий (1985)
Matematiceskie issledovanija
Объединение логик, моделируемых конечными деревьями.
Я.М. Другуш (1982)
Algebra i Logika
Полиномиальные разложения булевых функций по невырожденным функциям.
С.Ф. Винокуров, Н.А. Перязев (1991)
Algebra i Logika
Предтабличные расширения логики S4 Льюиса.
Л.Л. Максимова (1975)
Algebra i Logika
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)
Algebra i Logika
Произведения итеративных алгебр.
И.А. Мальцев, Б.Г. Тугылбаева (1999)
Sibirskij matematiceskij zurnal
Простые итеративные алгебры.
К.Л. Сафин, K. L. Safin, K. L. Safin, K. L. Safin (1998)
Algebra i Logika