The following pages link to A. A. Chubaryan (Q200962):
Displaying 20 items.
- Comparison of proof sizes in systems and substitution systems of Frege. (Q1419870) (← links)
- On the relative efficiency of different systems for classical and nonclassical propositional logics (Q2455258) (← links)
- Relative efficiency of a proof system for classical propositional logic (Q2488582) (← links)
- (Q2932840) (← links)
- The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them (Q2965238) (← links)
- (Q3060009) (← links)
- (Q3491546) (← links)
- (Q3616751) (← links)
- (Q3724329) (← links)
- (Q3950557) (← links)
- (Q4094855) (← links)
- (Q4138707) (← links)
- (Q4163531) (← links)
- (Q4182708) (← links)
- ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS (Q5100154) (← links)
- (Q5391544) (← links)
- (Q5658077) (← links)
- (Q5747466) (← links)
- PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS (Q5883729) (← links)
- Complexity of deductions in a system of classical propositional calculus (Q5942588) (← links)