Search results for 'Mojtaba Aghaei' (try it on Scholar)

13 found
Sort by:
  1. Mojtaba Aghaei & Mohammad Ardeshir (2001). Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68 (2):263-285.score: 120.0
    We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of basic propositional logic. Our first axiomatization is an ipmrovement of, in the sense that it has a kind of the subformula property and is a slight modification of. In this system the cut rule is eliminated. The second axiomatization is a classical conservative extension of basic propositional logic. Using these axiomatizations, we prove interpolation theorems for basic propositional logic.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Mojtaba Aghaei & Mohammad Ardeshir (2003). A Gentzen-Style Axiomatization for Basic Predicate Calculus. Archive for Mathematical Logic 42 (3):245-259.score: 120.0
    We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. M. Aghaei & M. Ardeshir (2000). A Bounded Translation of Intuitionistic Propositional Logic Into Basic Propositional Logic. Mathematical Logic Quarterly 46 (2):195-206.score: 30.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Arezoo Aghaei Chadegani & Zakiah Muhammaddun Mohamed (forthcoming). Reporting Errors and Misstatements: A Measurement for the Quality of Auditors' Work. Asian Journal of Business Ethics.score: 3.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Morteza Moniri & Mojtaba Moniri (2002). Some Weak Fragments of HA and Certain Closure Properties. Journal of Symbolic Logic 67 (1):91-103.score: 3.0
    We show that Intuitionistic Open Induction iop is not closed under the rule DNS(∃ - 1 ). This is established by constructing a Kripke model of iop + $\neg L_y(2y > x)$ , where $L_y(2y > x)$ is universally quantified on x. On the other hand, we prove that iop is equivalent with the intuitionistic theory axiomatized by PA - plus the scheme of weak ¬¬LNP for open formulas, where universal quantification on the parameters precedes double negation. We also show (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Mohammad Ardeshir & S. Mojtaba Mojtahedi (2014). Completeness of Intermediate Logics with Doubly Negated Axioms. Mathematical Logic Quarterly 60 (1-2):6-11.score: 3.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Mohammad Ardeshir & Mojtaba Moniri (1998). Intuitionistic Open Induction and Least Number Principle and the Buss Operator. Notre Dame Journal of Formal Logic 39 (2):212-220.score: 3.0
    In "Intuitionistic validity in -normal Kripke structures," Buss asked whether every intuitionistic theory is, for some classical theory , that of all -normal Kripke structures for which he gave an r.e. axiomatization. In the language of arithmetic and denote PA plus Open Induction or Open LNP, and are their intuitionistic deductive closures. We show is recursively axiomatizable and , while . If proves PEM but not totality of a classically provably total Diophantine function of , then and so . A (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Habib Aghabakhshy, Fard Mojtaba Sedaghaty & Arezo Vahid (forthcoming). Comparative Study of Mental Health Condition of Divorced Women and Widowed (the Charity Comiteh of Emdad). Social Research.score: 3.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Jafar S. Eivazloo & Mojtaba Moniri (2003). Expansions of Ordered Fields Without Definable Gaps. Mathematical Logic Quarterly 49 (1):72-82.score: 3.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Radmarz Hosseinie & Mojtaba Mahzoon (2011). Irreducibility and Emergence in Complex Systems and the Quest for Alternative Insights. Complexity 17 (2):10-18.score: 3.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Melanie Jasper, Mojtaba Vaismoradi, Terese Bondas & Hannele Turunen (forthcoming). Validity and Reliability of the Scientific Review Process in Nursing Journals - Time for a Rethink? Nursing Inquiry:n/a-n/a.score: 3.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Mari Kangasniemi, Mojtaba Vaismoradi, Melanie Jasper & Hannele Turunen (2013). Ethical Issues in Patient Safety: Implications for Nursing Management. Nursing Ethics 20 (8):904-916.score: 3.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Arash Rahman, Saeed Setayeshi & Mojtaba Shamsaei Zafarghandi (2009). Wealth Adjustment Using a Synergy Between Communication, Cooperation, and One-Fifth of Wealth Variables in an Artificial Society. AI and Society 24 (2):151-164.score: 3.0
    Wealth distribution based on classic sugarscape model leads to a population increase and the Gini coefficient decrease when cooperation and communication parameters are taken into account. In another study, this model was developed by implying a receipt of one-fifth of the assets of the population and derived utilization for poor people. The results showed a relation between mortality decrease, population increase, and Gini coefficient decrease (equality increase). In a synergic process, the wealth adjustment based on sugarscape model underwent some experiments (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation