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