Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe.
-tautologies, uniform and non-uniform upper bounds in computation theory
Una -tautologia è una tautologia del tipo avente un solo interpolante di Craig , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.
σ-ring and σ-algebra of Sets1
In this article, semiring and semialgebra of sets are formalized so as to construct a measure of a given set in the next step. Although a semiring of sets has already been formalized in [13], that is, strictly speaking, a definition of a quasi semiring of sets suggested in the last few decades [15]. We adopt a classical definition of a semiring of sets here to avoid such a confusion. Ring of sets and algebra of sets have been formalized as non empty preboolean set [23] and field of subsets [18],...
ω-Trees in stationary logic
Аксиоматизируемость одной проекции универсально аксиомтизируемого класса алгебраических систем
Алгебраические системы 2-й ступени
Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
Алгоритмическая природа инвариантных свойств грамматик непосредственно составляющих
Алгоритмические проблемы и иерархии языков первого порядка
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
Базисы допустимых правил вывода табличных модальных логик глубины 2.
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базисы квазитождеств конечных модальных алгебр.
Базы допустимых правил логик S4 и Int
Вложения импликатных решеток и суперинтуиционистские логики
Гейтинговское исчисление предикатов с эпсилон-символом
Гливенковские классы секвенций
Границы разрешимости некоторых классов нильпотентных и разрешимых групп
Группы автострофий разделимых сильно зависимых операций