http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Equiprovability&feed=atom&action=historyEquiprovability - Revision history2024-03-29T01:39:24ZRevision history for this page on the wikiMediaWiki 1.19.20+dfsg-0+deb7u3http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Equiprovability&diff=96&oldid=prevOlivier Laurent: basic cases2009-01-18T22:06:43Z<p>basic cases</p>
<p><b>New page</b></p><div>Two formulas <math>A</math> and <math>B</math> are equiprovable, when <math>\vdash A</math> is provable if and only if <math>\vdash B</math> is provable.<br />
<br />
* for any <math>A</math> and <math>B</math>, <math>A\tens B</math> and <math>A\with B</math> are equiprovable.<br />
* for any <math>A</math>, <math>A</math>, <math>\oc A</math> and <math>\forall\xi A</math> are equiprovable.</div>Olivier Laurent