Switch to: References

Add citations

You must login to add citations.
  1. Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
    In this paper we define a suitable version of the notion of homomorphism for Kripke models of intuitionistic first-order logic and characterize theories that are preserved under images and also those that are preserved under inverse images of homomorphisms. Moreover, we define a notion of union of chain for Kripke models and define a class of formulas that is preserved in unions of chains. We also define similar classes of formulas and investigate their behavior in Kripke models. An application to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Extensions of Kripke models.Mostafa Zaare - 2017 - Logic Journal of the IGPL 25 (5):697-699.
    Download  
     
    Export citation  
     
    Bookmark