A. A. Chubaryan

MaRDI QIDQ200962zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS Proceedings of the YSU A: Physical and Mathematical Sciences	2023-03-22	Paper
On non-monotonous properties of some classical and nonclassical propositional proof systems Proceedings of the YSU A: Physical and Mathematical Sciences	2022-08-29	Paper
The properties of determinative disjunctive normal forms and systems based on them Journal of Mathematics Research	2017-03-02	Paper
On the Rabin's speed-up of proofs for some systems of first order logic	2014-12-09	Paper
Definition of strong equality of tautologies and universal system for various propositional logics.	2014-02-17	Paper
The polynomial bounds of proof complexity in Frege systems	2011-04-06	Paper
The polynomial bounds of proof complexity in Frege systems	2011-04-06	Paper
Rabin style speed-up of proofs. More generalized speed-up in the systems of first order logic	2010-11-30	Paper
scientific article; zbMATH DE number 5533357 (Why is no real title available?)	2009-03-26	Paper
On the relative efficiency of different systems for classical and nonclassical propositional logics Doklady Mathematics	2007-10-22	Paper
Relative efficiency of a proof system for classical propositional logic Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences	2006-05-26	Paper
Comparison of proof sizes in systems and substitution systems of Frege. Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences	2004-01-27	Paper
Complexity of deductions in a system of classical propositional calculus Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences	2001-12-04	Paper
scientific article; zbMATH DE number 4164836 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3954903 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3769620 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3595182 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3566811 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3618097 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3515453 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3388997 (Why is no real title available?)	1972-01-01	Paper

Research outcomes over time

This page was built for person: A. A. Chubaryan