Публикации
Конференция
On some universal system for various propositional logics
Конференция
Some notes about lower bounds for steps and sizes of proofs in Frege systems
Конференция
Improvement of lower bounds for steps and sizes of proofs in Frege systems
Конференция
The proof complexities relations for strongly equal classical tautologies in Frege systems
Конференция
Some new proof systems for a version of many-valued logics and proof complexities in it
Конференция
On lower bounds for steps and sizes of proofs in Frege systems
Конференция
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
Конференция
On proof complexities for some classes of tautologies in Frege systems
Конференция
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. .
Конференция
On some universal proof system for all versions of many-valued logics
Конференция
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
Конференция
On the proof complexity in two universal proof system for all versions of many-valued logics
Конференция
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
Конференция
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
Конференция
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
Конференция
On non-monotonous properties of some propositional proof systems
Конференция
Comparison of two propositional proof systems by lines and by sizes
Электронный материал
ՀԱՇՎԱՐԿԵԼԻՈՒԹՅԱՆ ԲԱՐԴՈՒԹՅԱՆ ՏԵՍՈՒԹՅԱՆ ՀԻՄՆԱԴՐՈՒՅԹՆԵՐ
Конференция
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
