Language skills
Русский
English
Deutsch
Publications
Article
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Article
Universal system for many-valued logic, based on splitting method, and some of its properties
Article
On the Proof Complexities of Strongly Equal Non-classical Tautologies
Article
О некоторых свойствах пропозициональной системы обобщенных расщеплений
Article
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
Article
Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics
Article
"Слабые” системы выводов классического исчисления высказываний не монотонны
Article
Two types of universal proof systems for all variants of many-valued logics and some properties of them
Article
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
Article
ON SOME PROPERTIES OF SEVERAL PROOF SYSTEMS FOR NON CLASSICAL PROPOSITIONAL LOGICS
Article
On some propositional proof systems for various logics
Article
Some notes on proof complexities in Frege systems
Article
Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic
Article
On some properties of several proof systems for 2-valued and 3-valued propositional logic
Article
On some systems for Łukasiewicz’s many-valued logic and its properties
Monograph
On some systems for two versions of many-valued logics
2017
73
Manual
Հաշվարկելիության բարդության տեսության հիմնադրույթներըր
2017
62
Article
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
Article
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
