Switch to: Citations

Add references

You must login to add references.
  1. A new look at the interpolation problem.Jacques Stern - 1975 - Journal of Symbolic Logic 40 (1):1-13.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • (1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
    Download  
     
    Export citation  
     
    Bookmark   404 citations  
  • Information transfer across Chu spaces.J. Benthem - 2000 - Logic Journal of the IGPL 8 (6):719-731.
    Chu spaces are a new model for information structure and mathematical structure in general. Their properties are usually developed as a form of category theory. In this note, we show how they may also be viewed as models for a two-sorted first-order language, and we determine the exact flow of information across the natural Chu transforms. Our analysis is akin to that of process graphs via bisimulation and modal formulas.
    Download  
     
    Export citation  
     
    Bookmark   3 citations