On the Proof Complexities of Strongly Equal Non-classical Tautologies

Channel:
India BP International
Subscribers:
9,470
Published on ● Video Link: https://www.youtube.com/watch?v=TLmQDGJH1Pw


Duration: 0:00
23 views
3

On the Proof Complexities of Strongly Equal Non-classical Tautologies | Chapter 06 | Advances in Mathematics and Computer Science Vol. 1

The strong equality of classical tautologies and their proof complexities comparative analysis incertain proof systems were given by first author in previous studies. Here we introduce the analogousnotions of strong equality for non-classical (intuitionistic and minimal) tautologies and investigatethe relations between the proof complexity measures of strongly equal non-classical tautologiesin some proof systems. We prove that 1) the strongly equal tautologies have the same proofcomplexities in some proof systems and 2) there are such proof systems, in which some measures ofproof complexities for strongly equal tautologies are the same, while the other measures differ fromeach other only as a function of the sizes of tautologies.

Author Details:

Anahit Chubaryan
Department of Informatics and Applied Mathematics, Yerevan State University, Armenia.

Sergey Sayadyan
Department of Informatics and Applied Mathematics, Yerevan State University, Armenia.

Read full article: http://bp.bookpi.org/index.php/bpi/catalog/view/46/225/385-1



Other Videos By BP International


2019-07-24Isolation, Identification and Pathogenicity of Fungal Organisms Causing Postharvest Spoilage
2019-07-24The Population Dynamics of the Mudskipper, Periophthalmus barbarus (LINNEAUS 1766)
2019-07-24First Detection of Ketoreductase in the Genome of Potentially Pathogenic Fast-Growing Environmental
2019-07-24Isolation of Rare Salmonella Serovars, Wangata and Penarth from Chicken in Nsukka, Nigeria
2019-07-24Assessment of Apo-B &TG/HDL-C Ratio as Indicators of Insulin Resistance in Patients with Metabolic
2019-07-24The Mode of Transmission of Banana streak virus by Paracoccus burnerae (Homiptera; Planococcidae)
2019-07-23An Effective Application of the Spectrophotometric and Thermodynamic Methods for the Determination
2019-07-23The Effect of Anisotropy on the Structure Optimization Using BEM-GSS and BEM-NGGP Algorithms
2019-07-23A New Definition of Limit of Periodic Function and Periodic g-Contractive Mapping at Infinity
2019-07-23Recursive Computation of Binomial and Multinomial Coefficients and Probabilities
2019-07-23On the Proof Complexities of Strongly Equal Non-classical Tautologies
2019-07-23DRBEM Sensitivity Analysis and Shape Optimization of Rotating Magneto-Thermo-Viscoelastic FGA
2019-07-23Examples of Simply and Multiply Connected Fatou Sets for a Class of Meromorphic Functions
2019-07-23There is No Standard Model of ZFC and ZFC2
2019-07-23Exponential Latin square, exponential Sudoku matrix and bitwise operations
2019-07-23A Matrix Vector Transition Net Implementation
2019-07-23Analysis of Properties of Biolubricant Obtained from Blends of Used Palm Oil
2019-07-23A Comparative Study of Two Different Media Effect on the Electropolymerization of 2-(9-ethylcarbazol
2019-07-23Speciation of Some Heavy Metals in Sediments of the Pennington River, Bayelsa State, Nigeria
2019-07-23Preparation of Bisoprolol Impurity A of High Quality
2019-07-23Use of the Arrhenius Equation in Kinetic Analyses and Mathematical Modeling of Rate Data Requires