David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
A theorem obtained by van Benthem for preservation of formulas under Chu transforms between Chu spaces is strengthened and derived from a general many-sorted interpolation theorem. The latter has been established both by proof-theoretic and model-theoretic methods; there is some discussion as to how these methods compare and what languages they apply to. In the conclusion, several further questions are raised.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Chauncey C. Chu (2009). A Contrastive Approach to Discourse Particles: A Case Study of the Mandarin Ufp Ne ? In Dingfang Shu & Ken Turner (eds.), Contrasting Meanings in Languages of the East and West. Peter Lang
Chu Kuang-Ch'ien (1975). A Discussion of Beauty as a Unity of the Objective and the Subjective. Contemporary Chinese Thought 6 (3):4-61.
Martin Otto (2000). An Interpolation Theorem. Bulletin of Symbolic Logic 6 (4):447-462.
Tianjiao Chu, David Danks & Clark Glymour, Data Driven Methods for Nonlinear Granger Causality: Climate Teleconnection Mechanisms.
Xinyan Jiang (2000). What Kind of Knowledge Does a Weak-Willed Person Have?: A Comparative Study of Aristotle and the Ch'eng-Chu School. Philosophy East and West 50 (2):242-253.
Ursula Gropp (1988). Coinductive Formulas and a Many-Sorted Interpolation Theorem. Journal of Symbolic Logic 53 (3):937-960.
Solomon Feferman (2008). Harmonious Logic: Craig's Interpolation Theorem and Its Descendants. Synthese 164 (3):341 - 357.
John Emerson (1996). Yang Chu's Discovery of the Body. Philosophy East and West 46 (4):533-566.
David Marker (1984). A Model Theoretic Proof of Feferman's Preservation Theorem. Notre Dame Journal of Formal Logic 25 (3):213-216.
Added to index2009-01-28
Total downloads15 ( #232,828 of 1,792,119 )
Recent downloads (6 months)1 ( #464,595 of 1,792,119 )
How can I increase my downloads?