Equiprovability
From LLWiki
Revision as of 00:06, 19 January 2009 by Olivier Laurent (Talk | contribs)
Two formulas A and B are equiprovable, when is provable if and only if
is provable.
- for any A and B,
and
are equiprovable.
- for any A, A,
and
are equiprovable.