TY - JOUR
AU - Apinyan, Levon A.
AU - Chubaryan, Anahit A.
PY - 2022/06/01
Y2 - 2024/03/01
TI - On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
JF - Mathematical Problems of Computer Science
JA - MPCS
VL - 57
IS -
SE - Articles
DO - 10.51408/1963-0086
UR - http://mpcs.sci.am/index.php/mpcs/article/view/734
SP - 47–55
AB - <p align="justify">The sizes of <em>linear and tree-like proofs</em> for any formulae families are investigated in some systems of propositional calculus: in different sequent systems (with quantifier rules, with the substitution rule, with the cut rule, without the cut rule, monotone) and in the generalization splitting system. The comparison of results obtained here with the bounds obtained formerly for the steps of proofs for the same formulas in the mentioned systems shows the importance of the<em> size of proof</em> among the other characteristics of proof complexities.</p>
ER -