Order:
  1.  52
    Belief Revision and Verisimilitude Based on Preference and Truth Orderings.Gerard R. Renardel de Lavalette & Sjoerd D. Zwart - 2011 - Erkenntnis 75 (2):237-254.
    In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  24
    Interpolation in Fragments of Intuitionistic Propositional Logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
    We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or $\neg\neg$ are briefly considered.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  23
    Descriptions in Mathematical Logic.Gerard R. Renardel de Lavalette - 1984 - Studia Logica 43 (3):281-294.
    After a discussion of the different treatments in the literature of vacuous descriptions, the notion of descriptor is slightly generalized to function descriptor Ⅎ $\overset \rightarrow \to{y}$, so as to form partial functions φ = Ⅎ $y.A$ which satisfy $\forall \overset \rightarrow \to{x}z\leftrightarrow y=z))$. We use logic with existence predicate, as introduced by D. S. Scott, to handle partial functions, and prove that adding function descriptors to a theory based on such a logic is conservative. For theories with quantification over (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation