A lower bound for the complexity of Craig's interpolants in sentential logic

This publication has 10 references indexed in Scilit:

• Compactness=JEP in any logic
  Fundamenta Mathematicae, 1983
• Compactness, interpolation and Friedman's third problem
  Annals of Mathematical Logic, 1982
• Duality between logics and equivalence relations
  Transactions of the American Mathematical Society, 1982
• Irreversibility, uncertainty, relativity and computer limitations
  Il Nuovo Cimento B (1971-1996), 1981
• Robinson’s consistency theorem in soft model theory
  Transactions of the American Mathematical Society, 1981
• Interpolation, compactness and JEP in soft model theory
  Archive for Mathematical Logic, 1980
• The relative efficiency of propositional proof systems
  The Journal of Symbolic Logic, 1979
• The complexity of explicit definitions
  Advances in Mathematics, 1976
• The network complexity and the Turing machine complexity of finite functions
  Acta Informatica, 1976
• First-Order Logic. By R.M. Smullyan. Pp. 158. 75s. 1968. (Springer-Verlag-Berlin).
  The Mathematical Gazette, 1970