Equiprovability
From LLWiki
Jump to:
navigation
,
search
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.
Views
Page
Discussion
View source
History
Personal tools
Log in / create account
Navigation
Main Page
Recent changes
Random page
Help
Search
Tools
What links here
Related changes
Special pages
Printable version
Permanent link