Zeitschrift | Band | Artikel
Beth definability, interpolation and language splitting
pp. 211-221
Abstrakt
Both the Beth definability theorem and Craig’s lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L 1 with another language L 2, 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 contain one apparently new theorem.
Publication details
Published in:
van Benthem Johan, Kuipers Theo A., Visser Henk (2011) Logic and philosophy of science in the footsteps of E. W. Beth. Synthese 179 (2).
Seiten: 211-221
DOI: 10.1007/s11229-010-9778-3
Referenz:
Parikh Rohit (2011) „Beth definability, interpolation and language splitting“. Synthese 179 (2), 211–221.