Works by Giovanni Sommaruga

( view other items matching `Giovanni Sommaruga`, view all matches )
Order:
  1.  19
    A note on some extension results.Franco Montagna & Giovanni Sommaruga - 1990 - Studia Logica 49 (4):591 - 600.
    In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  18
    Rosser and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation