Equiprovability

From LLWiki

(Difference between revisions)

Jump to: navigation, search

Latest revision as of 00:06, 19 January 2009

Two formulas $A$ and $B$ are equiprovable, when $\vdash A$ is provable if and only if $\vdash B$ is provable.

for any $A$ and $B$ , $A\tens B$ and $A\with B$ are equiprovable.
for any $A$ , $A$ , $\oc A$ and $\forall\xi A$ are equiprovable.

Retrieved from "http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Equiprovability&oldid=96"

Views

Personal tools

Log in / create account

Search

Tools