menu
Morteza Moniri

Associate Professor

Update: 2024-12-19

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. "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
  7. "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
  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. "Preservation theorems in Lukasiewicz model theory"
    Morteza Moniri, S. Mohammad Bagheri
    Iranian Journal of Fuzzy Systems, Vol. 10, pp.103-113, 2013
  12. "Regular cuts in models of bounded arithmetic"
    Morteza Moniri, S. Hossein Sajjadi
    Bulletin of the Section of Logic, Vol. 42, pp.1-10, 2013
  13. "Cuts and overspill properties in models of bounded arithmetic"
    Morteza Moniri,
    Journal of Mathematical Sciences and Informatic, Vol. 8, pp.59-66, 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. "Provability Logic"
    Morteza Moniri
    pp.66-75, 2006
  22. "An Independence Result for Intuitionistic Bounded Arithmetic"
    Morteza Moniri
    JOURNAL OF LOGIC AND COMPUTATION, Vol. 16, pp.199-204, 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. "Intuitionestic Weak Arithmetic"
    Morteza Moniri
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 42, pp.791-796, 2003
  26. "Comparing Constructive Arithmetical Theories Based on NP-PIND and CONP-PIND"
    Morteza Moniri
    JOURNAL OF LOGIC AND COMPUTATION, Vol. 13, pp.881-888, 2003
  27. "On Two Questions About Feasibly Constructive Arithmetic"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 49, pp.425-427, 2003
  28. "Independence Results for Weak Systems of Intuitionistic Arithmetic"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 49, pp.250-254, 2003
  29. "Some Results on Kripke Model over an Arbitrary Fixed Frame"
    Seyed Mohammad Bagheri, Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 49, pp.479-484, 2003
  30. "Weak Arithmetics and Kripke Models"
    Morteza Moniri
    MATHEMATICAL LOGIC QUARTERLY, Vol. 48, pp.157-160, 2002
  31. "H-theories Fragments of HA and PA-normality"
    Morteza Moniri
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 48, pp.101-105, 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