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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A Contrastive Approach to Discourse Particles: A Case Study of the Mandarin Ufp Ne ?Chauncey C. Chu - 2009 - In Dingfang Shu & Ken Turner (eds.), Contrasting Meanings in Languages of the East and West. Peter Lang.
A Discussion of Beauty as a Unity of the Objective and the Subjective.Chu Kuang-Ch'ien - 1975 - Contemporary Chinese Thought 6 (3):4-61.
Data Driven Methods for Nonlinear Granger Causality: Climate Teleconnection Mechanisms.Tianjiao Chu, David Danks & Clark Glymour - unknown
What Kind of Knowledge Does a Weak-Willed Person Have?: A Comparative Study of Aristotle and the Ch'eng-Chu School.Xinyan Jiang - 2000 - Philosophy East and West 50 (2):242-253.
Coinductive Formulas and a Many-Sorted Interpolation Theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
Harmonious Logic: Craig's Interpolation Theorem and Its Descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
A Model Theoretic Proof of Feferman's Preservation Theorem.David Marker - 1984 - Notre Dame Journal of Formal Logic 25 (3):213-216.
Added to index2009-01-28
Total downloads17 ( #286,870 of 2,177,986 )
Recent downloads (6 months)1 ( #317,201 of 2,177,986 )
How can I increase my downloads?