Switch to: Citations

Add references

You must login to add references.
  1. [Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.
    We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Local-Global Properties of Positive Primitive Formulas in the Theory of Spaces of Orderings.M. Marshall - 2006 - Journal of Symbolic Logic 71 (4):1097 - 1107.
    The paper deals with pp formulas in the language of reduced special groups, and the question of when the validity of a pp formula on each finite subspace of a space of orderings implies its global validity [18]. A large new class of pp formulas is introduced for which this is always the case, assuming the space of orderings in question has finite stability index. The paper also considers pp formulas of the special type $b\in \Pi _{i=1}^{n}\,D\langle 1,a_{i}\rangle $. Formulas (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Open questions in the theory of spaces of orderings.Murray A. Marshall - 2002 - Journal of Symbolic Logic 67 (1):341-352.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   144 citations