2010; Physical and Mathematical Sciences, 44(1 (221): 61–63
Shared with The Gufo

ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC

A.A. Chubaryan*

Received: 2025-02-27 · Published: 2010-01-26

© 2010 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC
Author
A.A. Chubaryan
Published
2010-01-26
Licence
Creative Commons Attribution 4.0 International

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.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates