On the bounds for the main proof measures in some propositional proof systems
Journal Title: Scholars Journal of Physics, Mathematics and Statistics - Year 2014, Vol 1, Issue 2
Abstract
Various proof complexity characteristics are investigated in three propositional proof systems, based on determinative disjunctive normal forms. The comparative analysis for size, time, space, width of proofs is given. For some formula family we obtain in our systems simultaneously bounds for different proof complexity measures (asymptotically the same upper and lower bounds for each measures). These results can be generalized for the other formulas and for the other systems also..
Authors and Affiliations
Anahit Chubaryan, Armen Mnatsakanyan
Keywords
Related Articles
- EP ID EP383525
- DOI -
- Views 71
- Downloads 0
The mathematics in middle-aged Arab caliphate and it application to contemporary teaching in high schools
This paper offers a glimpse of the major contributions made by Arabs to mathematics in middle ages history period. Its purpose is to stimulate interest in an object based on mutual respect and understanding. We give a sh...
Some Particular Examples for the Natural Lift Curve in Minkowski 3-Space
In this study, we give some particular examples for the natural lift curves of the spherical indicatries of tangent, principal normal, binormal vectors.
Based on the empirical research on the gem index E - garch model
In this paper, based on the GARCH model, simulation of the gem index trend, the gem closing index of the unit with inspection, Respectively establish a Garch (1, 1) model, T - Garch and E - Garch model, the simulation re...
A Note on Existence of Positive Solutions of One-Dimensional -LaplacianEquations
In this paper, we proved some new results on the existence of positive solutions of one-dimensional - Laplacian equations under sublinear conditions. Our assumptions are weaker than theexisting that, some recent results...
Existence of positive solutions for boundary value problems for a class of nonlinear high-order differential equation
In this paper, we investigate a kind of boundary value problem of nonlinear high-order differential equation. Making use of the fixed point theorems on cone and by constructing the correction function, we obtain the exis...