Graduate studies at Western
|Abstract||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)
|Through your library||Only published papers are available at libraries|
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 downloads6 ( #154,793 of 739,317 )
Recent downloads (6 months)1 ( #61,243 of 739,317 )
How can I increase my downloads?