Հրապարակումներ
Հոդված
О некоторых свойствах пропозициональной системы обобщенных расщеплений
Հոդված
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
Հոդված
Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics
Հոդված
"Слабые” системы выводов классического исчисления высказываний не монотонны
Հոդված
Two types of universal proof systems for all variants of many-valued logics and some properties of them
Հոդված
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
Հոդված
ON SOME PROPERTIES OF SEVERAL PROOF SYSTEMS FOR NON CLASSICAL PROPOSITIONAL LOGICS
Հոդված
On some propositional proof systems for various logics
Հոդված
Some notes on proof complexities in Frege systems
Հոդված
Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic
Հոդված
On some properties of several proof systems for 2-valued and 3-valued propositional logic
Հոդված
On some systems for Łukasiewicz’s many-valued logic and its properties
Մենագրություն
On some systems for two versions of many-valued logics
2017
73
ՈՒսումնական ձեռնարկ
Հաշվարկելիության բարդության տեսության հիմնադրույթներըր
2017
62
Հոդված
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
Հոդված
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
Հոդված
Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения
Հոդված
Frege systems are no monotonous
Մենագրություն
Rabin style speed-up of proofs
2010
50
