A. A. Chubaryan

Available identifiers

zbMath Open chubaryan.a-aMaRDI QIDQ200962

List of research outcomes

Publication	Date of Publication	Type
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS	2023-03-22	Paper
On non-monotonous properties of some classical and nonclassical propositional proof systems	2022-08-29	Paper
The properties of determinative disjunctive normal forms and systems based on them	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
Rabin style speed-up of proofs. More generalized speed-up in the systems of first order logic	2010-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3616751	2009-03-26	Paper
On the relative efficiency of different systems for classical and nonclassical propositional logics	2007-10-22	Paper
Relative efficiency of a proof system for classical propositional logic	2006-05-26	Paper
Comparison of proof sizes in systems and substitution systems of Frege.	2004-01-27	Paper
Complexity of deductions in a system of classical propositional calculus	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q3491546	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3724329	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3950557	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4163531	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138707	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4182708	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4094855	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5658077	1972-01-01	Paper

Research outcomes over time

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