Switch to: References

Add citations

You must login to add citations.
  1. Structured meanings and reflexive domains.Serge Lapierre - 1992 - Studia Logica 51 (2):215 - 239.
    This paper is about the most important technical problem faced by Structured Meanings Semantics: the reiteration of hyperintensional functors (i.e., functors of -categorial languages of the sort defined by Max Cresswell in [6]). A way to solve this problem in a general and natural way by using Scott's Domains is both suggested and shown. The result is a semantics which unrestrictedly allows reiterations of hyperintensional functors. The semantics is also extended to accommodate -categorial languages with variables.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation