4 found
Order:
  1.  18
    A Functional Partial Semantics for Intensional Logic.Serge Lapierre - 1992 - Notre Dame Journal of Formal Logic 33 (4):517-541.
  2. Completeness and Representation Theorem for Epistemic States in First-Order Predicate Calculus.Serge Lapierre & François Lepage - 1999 - Logica Trianguli 3:85-109.
    The aim of this paper is to present a strongly complete first order functional predicate calculus generalized to models containing not only ordinary classical total functions but also arbitrary partial functions. The completeness proof follows Henkin’s approach, but instead of using maximally consistent sets, we define saturated deductively closed consistent sets . This provides not only a completeness theorem but a representation theorem: any SDCCS defines a canonical model which determine a unique partial value for every predicate symbol and any (...)
     
    Export citation  
     
    My bibliography  
  3.  15
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  4. New Results in the Analysis of Some Conditional Quantifiers and Their Logics.Serge Lapierre - 1991 - Logique Et Analyse 133 (133-140):105-120.
     
    Export citation  
     
    My bibliography