Object

Title: On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus

Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիվ:

2022

Հատոր:

57

ISSN:

2579-2784 ; e-2538-2788

Պաշտոնական URL:


Լրացուցիչ տեղեկություն:

Ափինյան Լևոն Ա․, Չուբարյան Անահիտ Ա., Апинян Левон A., Чубарян Анаит А.

Այլ վերնագիր:

Ասույթային հաշվի մի շարք համակարգերում բանաձևերի որոշ ընտանիքների գծային և ծառատիպ արտածումների երկարությունների մասին ; О длинах линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний

Ամփոփում:

The sizes of linear and tree-likeproofs 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 boundsobtained formerly for the steps of proofs for the same formulas in the mentioned systems shows the importance of the sizeof proof among the other characteristics of proofcomplexities.

Հրատարակիչ:

Изд-во НАН РА

Ձևաչափ:

pdf

Չափեր:

էջ 47-55

Նույնացուցիչ:

oai:arar.sci.am:323482

Լեզու:

en

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Object collections:

Last modified:

Dec 8, 2023

In our library since:

Jul 14, 2022

Number of object content hits:

20

All available object's versions:

https://arar.sci.am/publication/351121

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information