David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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)|
No categories specified
(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 downloads8 ( #186,778 of 1,413,119 )
Recent downloads (6 months)1 ( #152,603 of 1,413,119 )
How can I increase my downloads?