Skip to main content

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 in certain proof systems were given by first author in previous studies. Here we introduce the analogous notions of strong equality for non-classical (intuitionistic and minimal) tautologies and investigate the relations between the proof complexity measures of strongly equal non-classical tautologies in some proof systems.  We prove that 1) the strongly equal tautologies have the same proof complexities in some proof systems and 2) there are such proof systems, in which some measures of proof complexities for strongly equal tautologies are the same, while the other measures differ from each 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
View Volume: https://doi.org/10.9734/bpi/amacs/v1
Labels:

Comments

Post a Comment

Popular posts from this blog

Risk Factors for Postpartum Psychiatric Disorders. A Review of the Literature | Chapter 8 | New Visions in Medicine and Medical Science Vol. 4

  Objective: The aim of this study was to explore the risk factors for the development of postpartum psychiatric disorders through international literature. Materials and Methods: Throughout many articles in PubMed, Google scholar and PsycInfo, a great amount of recent data was gathered to identify the disorders that are most common as well as their risk factors. Results: After childbirth, most commonly women experience postpartum depression, anxiety disorders, post-traumatic stress disorder and postpartum psychosis. All the disorders have many similar risk-factors with the main one being preexisting psychiatric disorder and many similar symptoms too. Conclusions: Women after childbirth are at risk of experience many psychiatric disorders, such as postpartum distress, postpartum post traumatic stress disorder and even more rarely postpartum psychosis. It is important to provide comprehensive support to ensure the well-being of both the mother and the infant and this will b...
Post a Comment
Read more

Greening Regional Airports: A Vision for Carbon Neutral Infrastructure | Chapter 12 | Contemporary Perspective on Science, Technology and Research Vol. 3

 This study provides an overview of the energy demand of a regional airport, divided into individual time horizons. The electrification of aircraft systems raises the question of whether airports will be among the largest electricity consumers in our infrastructure in the future. Sustainability and especially emission reductions are significant challenges for airports that are currently being addressed. The Clean Sky 2 project GENESIS addresses the environmental sustainability of hybrid-electric 50-passenger aircraft systems in a life cycle perspective to support the development of a technology roadmap for the transition to sustainable and competitive electric aircraft systems. This article originates from the GENESIS research and describes various options for ground power supply at a regional airport. Potential solutions for airport infrastructure with a short (2030), medium (2040), and long (2050) time horizon are proposed. In addition to the environmental and conservation benefi...
Post a Comment
Read more

Alkali Element Modification of Glucose Molecules as a Method to Dissolve Cancer Cells | Chapter 12 | New Visions in Medicine and Medical Science Vol. 4

  The present study highlights about alkali element modification of glucose molecules as a method to dissolve cancer cells. The central regulation of the mechanisms governing cell proliferation has little effect on cancer cells. Cancer cells are entirely independent of the central command and divide and proliferate on their own, making it challenging to activate their response mechanism. Precisely, this is the reason why they are at risk to the health of humans and/or any biological entities. Instead of trying to reconnect the central command of the growth control mechanism to cancer cells that are already out of the range, we present a method of using the cancer cell’s own irresponsive and uncontrolled growth mechanism to their disadvantage and destroy the cancer cells. We found that this is achievable in an atomic/molecular level study of the glucose molecule, which is the primary food source used for growth and energy generation by all cells in the body, including the cancer cel...
Post a Comment
Read more