Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
Interpolation in goal-directed proof systems 1
from ARTICLES
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
- Type
- Chapter
- Information
- Logic Colloquium '01 , pp. 170 - 216Publisher: Cambridge University PressPrint publication year: 2005
References
[1] , , and , Repairing the interpolation theorem in quantified modal logic, 2003, pp. 287–299.
[2] , , , and , Interpolation in practical formal development, Logic Journal of the IGPL, vol. 9 (2001), pp. 231–244.Google Scholar
[3] , Linear reasoning. A new form of the Herbrand–Gentzen theorem and three uses of the Herbrand–Gentzen theorem, The Journal of Symbolic Logic, vol. 22 (1957), pp. 250–268 and 269–285.Google Scholar
[4] , Failure of the interpolation lemma in quantifiedmodal logic, The Journal of Symbolic Logic, vol. 44 (1979), pp. 201–206.Google Scholar
[5] , Proof methods for modal and intuitionistic logic, , 1983.
[6] , Interpolation theorem for first order S5, The Journal of Symbolic Logic, vol. 67 (2002), pp. 621–634.Google Scholar
[7] , Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions, part I, Proceedings of the 1969 Logic Colloquium inManchester, North-Holland, 1969, pp. 391–401.
[8] , Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions, part II, Proceedings of the 1969 Logic Colloquium in Manchester, North-Holland, 1969, pp. 403–410.
[9] , Craig's interpolation theorem for modal logics, Proceedings of Logic Conference (, editor), Springer, 1970, pp. 111–128.
[10] , Investigations in modal and tense logics with applications, , 1976.
[11] , Craig's theorem for intuitionistic logic, III, The Journal of Symbolic Logic, vol. 42 (1977), pp. 269–271.Google Scholar
[12] , Labelled deductive systems, Oxford University Press, 1996.
[13] , Fibring logics, Oxford University Press, 1998.
[14] and , Treatise on interpolation and definability, Oxford University Press, Forthcoming.
[15] and , Quantifier elimination in second order predicate logic, Proceedings of KR –92 (, , and , editors), 1992, pp. 425–435.Google Scholar
[16] and , Goal directed algorithmic proof, Kluwer, 2000.
[17] , , and , A note on interpolation by translation, In preparation.
[18] , On the interpolation theorem for the logic of constant domains, The Journal of Symbolic Logic, vol. 46 (1981), pp. 87–88.Google Scholar
[19] , An interpolation theorem in the predicate calculus, Pacific Journal of Mathematics, vol. 9 (1959), pp. 155–164.Google Scholar
[20] , Craig's theorem in superintuitionistic logic and amalgamable varieties of pseudo Boolean algebras, Algebra i Logika, vol. 16 (1977), pp. 643–681.Google Scholar
[21] , Interpolation properties of superintuitionistic logic, Studia Logica, vol. 38 (1979), pp. 419–428.Google Scholar
[22] , Interpolation theorem in modal logic and amalgamated varieties of topoBoolean algebras, Algebra i Logika, vol. 18 (1979), pp. 556–586.Google Scholar
[23] , Failure of interpolation property in modal companions of Dummett's logic, Algebra i Logika, vol. 21 (1982), pp. 690–694.Google Scholar
[24] and , Failure of interpolation in combined modal logics, Notre Dame Journal of Formal Logic, vol. 39 (1998), pp. 253–273.Google Scholar
[25] , , and , Elimination of predicate quantifiers, Logic, language and reasoning, Essays in honour of ( and , editors), Kluwer, 1999, pp. 149–172.
[26] and , The logic of bunched implications, The Bulletin of Symbolic Logic, vol. 5 (1999), pp. 215–244.Google Scholar
[27] , An interpolation theorem, The Bulletin of Symbolic Logic, vol. 6 (2000), pp. 447– 462.Google Scholar
[28] , Lambek calculus and formal grammars, Provability, complexity, grammar, American Mathematical Society Translations–Series 2, 1999, pp. 57–86.Google Scholar
[29] , Interpolation in fragments of classical linear logic, The Journal of Symbolic Logic, vol. 59 (1994), pp. 419–444.Google Scholar