Morteza Moniri

Research Papers

[1] Some Weak Fragments of HA and Certain Closure Properties, (with Mojtaba Moniri), Journal of Symbolic Logic, 67 (2002) 91-103.

[2] H-theories, Fragments of HA and PA-normality, Archive for Mathematical Logic, 41 (2002) 101-105.

[3] Weak Arithmetics and Kripke Models, Mathematical Logic Quarterly, 48 (2002) 157-160.

[4] Independence Results for Weak Systems of Intuitionistic Arithmetic, Mathematical Logic Quarterly, 49 (2003) 250-254.

[5] On Two Questions About Feasibly Constructive Arithmetic, Mathematical Logic Quarterly, 49 (2003) 425-427.

[6] Intuitionistic Weak Arithmetic, Archive for Mathematical Logic, 42 (2003) 791-796.

[7] Some Results On Kripke Models Over An Arbitrary Fixed Frame, (with S. M. Bagheri), Mathematical Logic Quarterly, 49 (2003) 479-484.

[8] Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND, Journal of Logic and Computation, 13 (2003) 881-888.

[9] Corrigendum to Weak Arithmetics and Kripke Models, Mathematical Logic Quarterly, 50 (2004) 637-638.

[10] Polynomial Induction and Lenght Minimization in Intuitionistic Bounded Arithmetic, Mathematical Logic Quarterly, 51 (2005) 73-76.

[11] An Independence Result for Intuitionistic Bounded Arithmetic, Journal of Logic and Computation, 16 (2006) 199-204.

[12] Model Theory of Bounded Arithmetic With Applications to Independence Results, in Lecture Notes in Logic, Vol. 26, 2006.

[13] Preservation Theorems for Bounded Formulas, Archive for Mathematical Logic, 46 (2006) 9-14.

[14] Preservation theorems for Kripke models, (with Mostafa Zaare) Mathematical Logic Quarterly, 55 (2009) 177-184.

[15] Provably Recursive Functions of Constructive and Relatively Constructive Theories, Archive for Mathematical Logic, 49 (2010) 291-300.

[16] Homomorphisms and Chains of Kripke Models, (with Mostafa Zaare) Archive for Mathematical Logic, 50 (2011) 431-443.

[17] Fuzzy and Intuitionistic Fuzzy Turing Machines, Fundamenta Informaticae, 123 (2013) 305-315.

[18] Logical Characterization of Filters on BL-algebras, (with H. Farahani & R. A. Borzooei) Journal of Multiple-Valued Logic & Soft Computing, 20 (2013) 75-87.

[19] Preservation Theorems in Lukasiewicz Model Theory, (with S.M Bagheri) Iranian Journal of Fuzzy Systems, 10 (2013) 103-113.

[20] Cuts and Overspill Properties in Models of Bounded Arithmetic, (with S. H. Sajjadi) Journal of Mathematical Sciences and Informatics, 3 (2013) 59-66.

[21] Regular Cuts in Models of Bounded Arithmetic, (with S. H. Sajjadi) Bulletin of the Section of Logic, 42 (2013) 11-20.

[22] Neutrosophic Deductive Filters on BL-Algebras, (with H. Farahani & R. A. Borzooei) Journal of Intelligent & Fuzzy Systems, 26 (2014) 2993-3004.

[23] Neighborhood Semantics for Basic and Intuitionistic Logic, (with F. Shirmohammadzadeh) Logic and Logical Philosophy, 24 (2015) 339-355.

[24] From forcing to satisfaction in Kripke models of intuitionistic predicate logic, (with M. Abiri and M. Zaare) Logic Journal of the IGPL, 26(5), (2018), 464-474.

[25] Ultraproducts for Quantum Structures, (with E. Shirinkalam) Logic and Logical Philosophy, 28 (2019), 157-171.

[26] Forcing and Satisfaction in Kripke Intuitionistic Arithmetic, (with M. Abiri and M. Zaare) Logic Journal of the IGPL, 27(5), (2019), 659-670.

[27] An Infinitary Axiomatization of Dynamic Topological Logic , (with S. Chopoghloo) Logic Journal of the IGPL, (2020), Published Online.

[28] A Strongly Complete Axiomatization of Intuitionistic Temporal Logic , (with S. Chopoghloo) Journal of Logic and Computation, Accepted.