Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates

HIGHLIGHTS

• who: Rea Golan from the Institut für Philosophie, Freie Universität, Habelschwerdter Allee, Berlin, Germany have published the article: Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates, in the Journal: (JOURNAL)
• what: The aim of this paper was to explore the BPS hierarchy from a proof-theoretic perspective.

SUMMARY

Some proponents of ST (as notably stated by Ripley, e_g,) claim that it is identical with CL, because the two logics have the same consequence relation. [O]r to identify a logic with its set of valid . . .

 



If you want to have access to all the content you need to log in!

Thanks :)

Username or E-mail:

If you don't have an account, you can create one here.