Նիւթ

Վերնագիր: On Quantified Splitting Proof System for Propositional Calculi

Publication Details:

This issue of the Periodical is dedicated to the 85-th anniversary of Hrant B. Marandjian,Doctor of Physical and Mathematical Sciences, Professor, Corresponding Member of NAS RA, Academician of the Russian Academy of Natural Sciences.

Journal or Publication Title:

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

Date of publication:

2024

Volume:

62

ISSN:

2579-2784 ; e-2538-2788

Additional Information:

կապին հետեւելուն համար սեղմէ հոս

Coverage:

9-16

Abstract:

In this paper, some new quantified propositional proof system is introduced and compared by proof complexities with other quantified and not quantified propositional proof systems. It is proved that the introduced system 1) is polynomially equivalent to its quantifier-free variant and 2) has exponential speedup by sizes over some variants of the quantified resolution system. As the introduced system has a very simple proof construction strategy, it can be very useful not only in Logic, and therefore in Artificial Intelligence, but also in areas such as Computational Biology and Medical Diagnosis.

Publisher:

Изд-во НАН РА

Format:

pdf

Identifier:

oai:arar.sci.am:405402

Location of original object:

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

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Aug 7, 2025

Մեր գրադարանին մէջ է սկսեալ:

Aug 7, 2025

Նիւթին բովանդակութեան հարուածներուն քանակը:

1

Նիւթին բոլոր հասանելի տարբերակները:

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

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

RDF

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

OAI-PMH

Հրատարակութեան անունը Թուական
Chubaryan, Anahit A., On Quantified Splitting Proof System for Propositional Calculi Aug 7, 2025

Այս էջը կ'օգտագործէ 'cookie-ներ'։ Յաւելեալ տեղեկատուութիւն