A. A. Chubaryan, H. R. Bolibekyan, “On the Rabin’s speed-up of proofs for some systems of first order logic”, Proceedings of the YSU, Physical and Mathematical Sciences, 2010, no. 1, 61

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Proceedings of the YSU, Physical and Mathematical Sciences:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences, 2010, Issue 1, Pages 61–63 (Mi uzeru206)

This article is cited in 1 scientific paper (total in 1 paper)

Communications
Mathematics

On the Rabin’s speed-up of proofs for some systems of first order logic

A. A. Chubaryan, H. R. Bolibekyan

Chair of Discrete Mathematics and Theoretical Computer Science YSU, Armenia

Full-text PDF (216 kB) Citations (1)

References:

PDF

HTML

Abstract: In the paper a notion of ordinary theory is considered. It is proved that some systems of first order predicate calculus are ordinary. This property is used for a proof complexity comparison in the considered systems.

Keywords: speed-up, proof complexity, predicate calculus, ordinary theory.

Received: 16.10.2009
Accepted: 16.12.2009

Document Type: Article

Language: English

Citation: A. A. Chubaryan, H. R. Bolibekyan, “On the Rabin’s speed-up of proofs for some systems of first order logic”, Proceedings of the YSU, Physical and Mathematical Sciences, 2010, no. 1, 61–63

Citation in format AMSBIB

\Bibitem{ChuBol10}

\by A.~A.~Chubaryan, H.~R.~Bolibekyan

\paper On the Rabin’s speed-up of proofs for some systems of first order logic

\jour Proceedings of the YSU, Physical  and Mathematical Sciences

\yr 2010

\issue 1

\pages 61--63

\mathnet{http://mi.mathnet.ru/uzeru206}

Linking options:

https://www.mathnet.ru/eng/uzeru206

https://www.mathnet.ru/eng/uzeru/y2010/i1/p61

This publication is cited in the following 1 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences

Registration to the website

Logotypes