Switch to: References

Add citations

You must login to add citations.
  1. Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
    We prove an omitting types theorem and one direction of the related Ryll-Nardzewski theorem for semi-classical theories introduced in [2].
    Download  
     
    Export citation  
     
    Bookmark