Nonclassical truth with classical strength. a proof-theoretic analysis of compositional truth over hype

HIGHLIGHTS

• who: TRUTH OVER HYPE et al. from the Munich Center for Mathematical Philosophy have published the article: NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE, in the Journal: (JOURNAL) of August/13,/2020
• what: The authors show in particular that by formulating the theory PKF one obtains a theory that is sound with respect to fixed-point models while being proof-theoretically on a par with its classical counterpart KF. The authors explore a different option, which in a sense completes the picture above. The authors show that the . . .
  

   

  

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

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

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