2021
DOI: 10.48550/arxiv.2101.00003
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Yet another argument in favour of NP=CoNP

Abstract: This article shows yet another proof of NP = CoNP. In a previous article we proved that NP = PSPACE and from it we can conclude that NP = CoNP immediatly. The former proof shows how to obtain polynomial and, polynomial in time ckeckable Dag-like proofs for all purely implicational Minimal logic tautologies. From the fact that Minimal implicational logic is PSPACE-complete we get the proof that NP = PSPACE. This first proof of NP = CoNP uses Hudelmaier linear upper-bound on the height of Sequente Calculus minim… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 10 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?