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 :)
If you don't have an account, you can create one here.