Լեզուների իմացություն
Русский
English
Deutsch
Հրապարակումներ
Մենագրություն
Rabin style speed-up of proofs
2010
50
Գիտաժողովի նյութ
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
