Знание языков
Русский
English
Deutsch
Публикации
Статья
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Статья
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
Статья
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
Статья
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Статья
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
Статья
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
Статья
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
Статья
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
Статья
О некоторых свойствах минимальных тавтологий классической и неклассических логик
Статья
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Статья
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
Статья
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
Статья
On non-monotonous properties of some classical and nonclassical propositional proof systems
Статья
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
Статья
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Статья
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Статья
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
Статья
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Статья
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Статья
Universal system for many-valued logic, based on splitting method, and some of its properties
