Quasipolynomial cut-elimination in CoS
Giorgi Japaridze <[email protected]> Fri, 3 Aug 2012 06:18:07 +0000
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <DF4B6BBFBA2C964FABA3859518B2E628014CE8@VUEX14MB3.vuad.villanova.edu> |
--_000_DF4B6BBFBA2C964FABA3859518B2E628014CE8VUEX14MB3vuadvill_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Dear all,
Does KSg+cocontraction or KS+cocontraction allow quasipolynomial cut elimin=
ation? (I know that SKS does, but it is not "analytic" because of coweakeni=
ng.)
If yes, any detailed references, including page and/or theorem numbers, wil=
l be greatly appreciated.
Giorgi Japaridze
http://www.csc.villanova.edu/~japaridz/
--_000_DF4B6BBFBA2C964FABA3859518B2E628014CE8VUEX14MB3vuadvill_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html dir=3D"ltr">
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style id=3D"owaParaStyle">P {
MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px
}
</style>
</head>
<body fPStyle=3D"1" ocsi=3D"0">
<div style=3D"direction: ltr;font-family: Tahoma;color: #000000;font-size: =
10pt;">
<div>
<p>Dear all,</p>
<p> </p>
<p>Does KSg+cocontraction<a></a> or KS+cocontraction<a></=
a> allow quasipolynomial<a></a> cut elimination? (I know that SKS does=
, but it is not "analytic" because of coweakening<a></a>.)
</p>
<p> </p>
<p>If yes, any detailed references, including page and/or theorem numb=
ers, will be greatly appreciated.
</p>
<p> </p>
<p> </p>
<div><font color=3D"#3366ff" size=3D"2" face=3D"Tahoma"><a></a><font color=
=3D"#3366ff" size=3D"2" face=3D"Tahoma">Giorgi</font> Japaridze<a></a>=
</font></div>
<div><font color=3D"#0000ff" size=3D"2" face=3D"tahoma"><a href=3D"http://w=
ww.csc.villanova.edu/~japaridz/">http://www.csc.villanova.edu/~japaridz/</a=
></font></div>
</div>
</div>
</body>
</html>
--_000_DF4B6BBFBA2C964FABA3859518B2E628014CE8VUEX14MB3vuadvill_--