Mostafa Zaare

Assistant Professor of Pure Mathematics

  • TEL: +98-2335220092
  • Education

    • Ph.D. 2004-2009

      Mathematical Logic

      Shahid Beheshti University, Tehran, Iran

    • M.Sc. 2002-2004

      Pure Mathematics

      Isfahan University of Technology, Isfahan, Iran

    • B.Sc.1998-2002

      Pure Mathematics

      Isfahan University of Technology, Isfahan, Iran

    Selected Publications

    Zaare, M. Extensions of Kripke models (2017) Logic Journal of the IGPL, 25 (5), pp. 697-699.

    DOI: 10.1093/jigpal/jzx008

    There are several ways to define the notion of submodel for Kripke models of intuitionistic first-order logic. In our approach, a Kripke model A is a submodel of a Kripke model B if the frame of A is a subframe of the frame of B and for each two corresponding worlds Aα and Bα of them, Aα is a classical submodel of Bα. In this case, B is called an extension of A. We characterize formulas that are preserved under taking extensions of Kripke models. © The Author 2017. Published by Oxford University Press. All rights reserved.

    AUTHOR KEYWORDS: Intuitionistic logic; Kripke model; Preservation; Submodel
    PUBLISHER: Oxford University Press

    Moniri, M., Zaare, M. Homomorphisms and chains of Kripke models (2011) Archive for Mathematical Logic, 50 (3-4), pp. 431-443.

    DOI: 10.1007/s00153-010-0224-5

    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 intuitionistic first-order arithmetic is also given. © 2010 Springer-Verlag.

    AUTHOR KEYWORDS: Elementary submodel; Existential sentence; Intuitionistic logic; Kripke model; Submodel; Union of chain; Universal sentence