Switch to: References

Add citations

You must login to add citations.
  1. The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
    Work on how to axiomatize the subtheories of a first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Beth definability, interpolation and language splitting.Rohit Parikh - 2011 - Synthese 179 (2):211 - 221.
    Both the Beth definability theorem and Craig's lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L1 with another language L2, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra and Foo.Section 3 does (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
    Download  
     
    Export citation  
     
    Bookmark   1 citation