Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
Displaying 1281 – 1300 of 1314
Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Синтаксис и семантика модальных логик, содержащих S4
М.В. Захарьящев (1988)
Algebra i Logika
Синтаксис и семантика суперинтуиционистских логик
М.В. Захарьящев (1989)
Algebra i Logika
Сколемовские функции и конструктивные модели.
Ю.Л. Ершов (1973)
Algebra i Logika
Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики
Ю.В. Голунков, З.К. Бухараева (1978)
Verojatnostnye metody i kibernetika
Сложность разрешения теории первого порядка вещественно замкнутых полей
Д.Ю. Григорьев (1988)
Zapiski naucnych seminarov Leningradskogo
Сравнение топологической и реляционной семантик суперинтуиционистских логик
А.Ю. Муравицкий (1984)
Algebra i Logika
Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр
А.И. Циткин (1987)
Matematiceskie issledovanija
Структуры с импликацией.
Л.Л. Максимова (1973)
Algebra i Logika
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Схемы доказательств в аксиоматических теориях гильбертовского типа
В.П. Оревков (1988)
Zapiski naucnych seminarov Leningradskogo
Теорема об устранимости сечения для релевантных логик
Г.Е. Минц (1973)
Zapiski naucnych seminarov Leningradskogo
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
А.Г. Пинус (1976)
Sibirskij matematiceskij zurnal
Теория конечных полей с дополнительным предикатом, выделяющим подполе.
С.М. Сейтенов (1978)
Sibirskij matematiceskij zurnal
Теория с двумя сильно конструктивизируемыми моделями.
К.Ж. Кудайбергенов (1979)
Algebra i Logika
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Тотально трансцендентная теория с неконструктивизируемой простой моделью
С.С. Гончаров (1980)
Sibirskij matematiceskij zurnal
Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева
Е.З. Скворцова (1988)
Sibirskij matematiceskij zurnal
Три способа выявления несущественных формул в секвенциях
В.П. Оревков (1979)
Zapiski naucnych seminarov Leningradskogo