Switch to: References

Add citations

You must login to add citations.
  1. The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
    The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the range of such logics is small.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Coherence in cartesian closed categories and the generality of proofs.M. E. Szabo - 1989 - Studia Logica 48 (3):285 - 297.
    We introduce the notion of an alphabetic trace of a cut-free intuitionistic prepositional proof and show that it serves to characterize the equality of arrows in cartesian closed categories. We also show that alphabetic traces improve on the notion of the generality of proofs proposed in the literature. The main theorem of the paper yields a new and considerably simpler solution of the coherence problem for cartesian closed categories than those in [11, 14].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation