menu
Morteza Moniri

Associate Professor

Update: 2024-11-07

Morteza Moniri

Mathematical Sciences / Mathematics

Journal Paper

  1. "Another Neighbourhood Semantics for Intuitionistic Logic"
    Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki
    LOGIC JOURNAL OF THE IGPL, Vol. 32, pp.64-75, 2024
  2. "Models of Bounded Arithmetic Theories and Some Related Complexity Questions"
    Abolfazl Alam, Morteza Moniri
    Bulletin of the Section of Logic, Vol. 51, pp.163-176, 2022
  3. "An infinitary axiomatization of dynamic topological logic"
    Somayeh Chopoghloo, Morteza Moniri
    LOGIC JOURNAL OF THE IGPL, Vol. 30, pp.124-142, 2022
  4. "A strongly complete axiomatization of intuitionistic temporal logic"
    Somayeh Chopoghloo, Morteza Moniri
    JOURNAL OF LOGIC AND COMPUTATION, Vol. 31, pp.1640-1659, 2021
  5. "Ultraproduct for quantum structures"
    Morteza Moniri, Elahe Shirinkalam
    Logic and Logical Philosophy, Vol. 28, pp.157-171, 2019
  6. "Forcing and satisfaction in Kripke models of intuitionistic arithmetic"
    Maryam Abiri, Morteza Moniri, Zaare Mostafa
    LOGIC JOURNAL OF THE IGPL, Vol. 27, pp.659-670, 2018
  7. "From forcing to satisfaction in Kripke models of intuitionistic predicate logic"
    Maryam Abiri, Morteza Moniri, Mostafa Zaare
    LOGIC JOURNAL OF THE IGPL, Vol. 26, pp.464-474, 2018
  8. "A Logical Analysis of Quantum Voting Protocols"
    Soroush Rafiee Rad, Elahe Shirinkalam, Morteza Moniri, Sonja Smets
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, Vol. 56, pp.3991-4003, 2017
  9. "NEIGHBORHOOD SEMANTICS FOR BASIC AND INTUITIONISTIC LOGIC"
    Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki
    Logic and Logical Philosophy, Vol. 24, pp.339-355, 2015
  10. "Neutrosophic deductive filters on BL-algebras"
    Rajabali Borzooei, Hadi Farahani, Morteza Moniri
    JOURNAL OF INTELLIGENT and FUZZY SYSTEMS, Vol. 26, pp.2993-3004, 2014
  11. "Cuts and overspill properties in models of bounded arithmetic"
    Morteza Moniri,
    Journal of Mathematical Sciences and Informatic, Vol. 8, pp.59-66, 2013
  12. "Preservation theorems in Lukasiewicz model theory"
    Morteza Moniri, S. Mohammad Bagheri
    Iranian Journal of Fuzzy Systems, Vol. 10, pp.103-113, 2013
  13. "Regular cuts in models of bounded arithmetic"
    Morteza Moniri, S. Hossein Sajjadi
    Bulletin of the Section of Logic, Vol. 42, pp.1-10, 2013
  14. "Fuzzy and intuitionistic fuzzy Turing machines"
    Morteza Moniri
    FUNDAMENTA INFORMATICAE, Vol. 123, pp.1-11, 2013
  15. "Logical characterization of fillters on BL-algebras"
    Morteza Moniri, Hadi Farahani, Rajabali Borzooei
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, Vol. 20, pp.75-87, 2012
  16. "Homomorphisms and chains of Kripke models"
    Morteza Moniri,
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 50, pp.431-443, 2011
  17. "Provably recursive functions of constructive and relatively constructive theories"
    Morteza Moniri
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 49, pp.291-300, 2010
  18. "Preservation theorems for Kripke models"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 55, pp.177-184, 2009
  19. "On the hierarchy of intuitionistic bounded arethmetic"
    Morteza Moniri
    JOURNAL OF LOGIC AND COMPUTATION, pp.625-630, 2008
  20. "Preservation Theorems for Bounded Formulas"
    Morteza Moniri
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 1, 2007
  21. "An Independence Result for Intuitionistic Bounded Arithmetic"
    Morteza Moniri
    JOURNAL OF LOGIC AND COMPUTATION, Vol. 16, pp.199-204, 2006
  22. "Provability Logic"
    Morteza Moniri
    pp.66-75, 2006
  23. "Model Theory of Bounded Arithmetic with Applications to Independence Results"
    Morteza Moniri
    Lecture Notes in Logic, Vol. 26, pp.239-247, 2006
  24. "Polynimial Induction and Length Minimization in Intuitionistic Bounded Arithmetic"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 51, pp.73-76, 2005
  25. "Independence Results for Weak Systems of Intuitionistic Arithmetic"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 49, pp.250-254, 2003
  26. "Intuitionestic Weak Arithmetic"
    Morteza Moniri
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 42, pp.791-796, 2003
  27. "Comparing Constructive Arithmetical Theories Based on NP-PIND and CONP-PIND"
    Morteza Moniri
    JOURNAL OF LOGIC AND COMPUTATION, Vol. 13, pp.881-888, 2003
  28. "Some Results on Kripke Model over an Arbitrary Fixed Frame"
    Seyed Mohammad Bagheri, Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 49, pp.479-484, 2003
  29. "On Two Questions About Feasibly Constructive Arithmetic"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 49, pp.425-427, 2003
  30. "H-theories Fragments of HA and PA-normality"
    Morteza Moniri
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 48, pp.101-105, 2002
  31. "Weak Arithmetics and Kripke Models"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 48, pp.157-160, 2002
  32. "Some weak fragments of HA and certain closure properties"
    Morteza Moniri, Mojtaba Moniri
    JOURNAL OF SYMBOLIC LOGIC, Vol. 67, pp.91-103, 2002
  33. ""
    Morteza Moniri
    Vol. 42, pp.47-60, 2024
  34. ""
    Morteza Moniri
    Vol. 41, pp.97-105, 2022
  35. "Bounded model theory and its applications to bounded arithmetic"
    Abolfazl Alam, Morteza Moniri
    Vol. 12, pp.193-211, 2021
  36. "A few insights into logic"
    Morteza Moniri
    Vol. 11, pp.227-247, 2020
  37. ""
    Morteza Moniri
    Vol. 38, pp.61-75, 2019
  38. ""
    Morteza Moniri
    Vol. 37, pp.37-50, 2019

Conference Paper

  1. "opening speech by the chair"
    Morteza Moniri
    Tabriz Seminar on Mathematical Logic, 2010
  2. "Bounded Arithmetic Classiac and Intuitionistic"
    Morteza Moniri
    , 2017
  3. "a survey of mathematical fuzzy predicate logic"
    Morteza Moniri
    , 2010