Results for 'Massoud Moussavi'

19 found
Order:
  1.  48
    Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
    ABSTRACT In this paper we introduce a set of six logical values, arising in the application of three-valued logics to time intervals, find its algebraic structure, and use it to define a six-valued logic. We then prove, by using algebraic properties of the class of De Morgan algebras, that this semantically defined logic can be axiomatized as Belnap's ?useful? four-valued logic. Other directions of research suggested by the construction of this set of six logical values are described.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Moral Worth and Supererogation.Amy Massoud - 2016 - Ethics 126 (3):690-710.
    Morally supererogatory actions are traditionally conceived of as actions that are nonobligatory but distinctively morally worthy. Here I challenge the assumption that supererogatory actions are distinctively praiseworthy and offer an alternative definition of moral supererogation. This alternative definition complements, and is complemented by, a novel account of moral praiseworthiness, which I call the Two-Step view. My Two-Step view of moral worth, which I develop in some detail, accounts for currently underappreciated features of moral praiseworthiness.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  3.  29
    Innovation Systems Approach: a Philosophical Appraisal.Arash Moussavi & Ali Kermanshah - 2018 - Philosophy of Management 17 (1):59-77.
    The innovation systems approach has swiftly spread out worldwide in the last three decades and stood as an important framework for policy-making in the fields of science, technology, and innovation. At the same time, there have been serious and untreated concerns in the literature about the theoretical soundness of this approach. Our discussion in this paper is based on the belief that a detailed analysis on epistemological foundations of the approach could shed a judgmental light on the aforementioned concerns. To (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  69
    Smooth classes without AC and Robinson theories.Massoud Pourmahdian - 2002 - Journal of Symbolic Logic 67 (4):1274-1294.
    We study smooth classes without the algebraic closure property. For such smooth classes we investigate the simplicity of the class of generic structures, in the context of Robinson theories.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  17
    The stable forking conjecture and generic structures.Massoud Pourmahdian - 2003 - Archive for Mathematical Logic 42 (5):415-421.
    We prove that for any simple theory which is constructed via Fräissé-Hrushovski method, if the forking independence is the same as the d-independence then the stable forking property holds.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  32
    Simple generic structures.Massoud Pourmahdian - 2003 - Annals of Pure and Applied Logic 121 (2-3):227-260.
    A study of smooth classes whose generic structures have simple theory is carried out in a spirit similar to Hrushovski 147; Simplicity and the Lascar group, preprint, 1997) and Baldwin–Shi 1). We attach to a smooth class K0, of finite -structures a canonical inductive theory TNat, in an extension-by-definition of the language . Here TNat and the class of existentially closed models of =T+,EX, play an important role in description of the theory of the K0,-generic. We show that if M (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  23
    Law Against the State: Ethnographic Forays into Law’s Transformations by Julia Eckert, Brian Donahoe, Christian Strümpell, and Özlem Biner, eds.: Cambridge: Cambridge University Press, 2012.Mark Fathi Massoud - 2015 - Human Rights Review 16 (2):187-188.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Pentecostal Republic: Religion and the Struggle for State Power in Nigeria By Ebenezer Obadare.Mark Fathi Massoud - 2020 - Journal of Islamic Studies 31 (2):284-285.
    Pentecostal Republic: Religion and the Struggle for State Power in Nigeria By ObadareEbenezer, xviii + 214 pp. Price PB £16.99. EAN 978–1786992376.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  43
    The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
    We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  16
    Generic Expansions of Geometric Theories.Somaye Jalili, Massoud Pourmahdian & Nazanin Roshandel Tavana - forthcoming - Journal of Symbolic Logic:1-22.
    As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname {\mathrm {bdn}}(\text (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  30
    The Impact of Fraudulent False Information on Equity Values.Saif Ullah, Nadia Massoud & Barry Scholnick - 2014 - Journal of Business Ethics 120 (2):219-235.
    There are two types of stock price manipulation examined in the theoretical literature: insider trading, which involves private information that is true and the public spreading of fraudulent false information. While there is a large empirical literature on insider trading, this is the first empirical article to examine the impact of false, fraudulent public information on stock prices and trading volume. We find that such false information, even after being denied by a credible source such as the SEC, generates both (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  17
    Haar measure and integral logic.Karim Khanaki & Massoud Amini - 2012 - Mathematical Logic Quarterly 58 (4):294-302.
    We study invariant measures on compact Hausdorff spaces using finitary integral logic. For each compact Hausdorff space X and any family equation image of its continuous transformations, we find equivalent conditions for the existence of an equation image-invariant measure on X. We give two proofs of the existence of Haar measure on compact groups.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  30
    Algorithms and computations for (m,n)-fold p-ideals in BCI-algebras.A. Kordi, A. Moussavi & A. Ahmadi - 2010 - Journal of Applied Logic 8 (1):22-32.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    Preface.Ali Enayat, Massoud Pourmahdian & Ralf Schindler - 2018 - Archive for Mathematical Logic 57 (1-2):1-2.
    Generalizing Woodin’s extender algebra, cf. e.g. Steel (in: Kanamori (ed) Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský (Fundam Math 83:35–46, 1973), in the presence of a supercompact cardinal.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  42
    Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
    We prove an omitting types theorem and one direction of the related Ryll-Nardzewski theorem for semi-classical theories introduced in [2].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    Pseudofiniteness in Hrushovski Constructions.Ali N. Valizadeh & Massoud Pourmahdian - 2020 - Notre Dame Journal of Formal Logic 61 (1):1-10.
    In a relational language consisting of a single relation R, we investigate pseudofiniteness of certain Hrushovski constructions obtained via predimension functions. It is notable that the arity of the relation R plays a crucial role in this context. When R is ternary, by extending the methods recently developed by Brody and Laskowski, we interpret 〈Q+,<〉 in the 〈K+,≤∗〉-generic and prove that this structure is not pseudofinite. This provides a negative answer to the question posed in an earlier work by Evans (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  33
    High-Speed Real-Time Resting-State fMRI Using Multi-Slab Echo-Volumar Imaging.Stefan Posse, Elena Ackley, Radu Mutihac, Tongsheng Zhang, Ruslan Hummatov, Massoud Akhtari, Muhammad Chohan, Bruce Fisch & Howard Yonas - 2013 - Frontiers in Human Neuroscience 7.
  18. Effectiveness in RPL, with applications to continuous logic.Farzad Didehvar, Kaveh Ghasemloo & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):789-799.
    In this paper, we introduce a foundation for computable model theory of rational Pavelka logic and continuous logic, and prove effective versions of some related theorems in model theory. We show how to reduce continuous logic to rational Pavelka logic. We also define notions of computability and decidability of a model for logics with computable, but uncountable, set of truth values; we show that provability degree of a formula with respect to a linear theory is computable, and use this to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  42
    An arithmetical view to first-order logic.Seyed Mohammad Bagheri, Bruno Poizat & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):745-755.
    A value space is a topological algebra equipped with a non-empty family of continuous quantifiers . We will describe first-order logic on the basis of . Operations of are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark