116 research outputs found

    Zero-one laws with respect to models of provability logic and two Grzegorczyk logics

    Get PDF
    It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in almost no models of that size. Therefore, many properties of models, such as having an even number of elements, cannot be expressed in the language of first-order logic. Halpern and Kapron proved zero-one laws for classes of models corresponding to the modal logics K, T, S4, and S5 and for frames corresponding to S4 and S5. In this paper, we prove zero-one laws for provability logic and its two siblings Grzegorczyk logic and weak Grzegorczyk logic, with respect to model validity. Moreover, we axiomatize validity in almost all relevant finite models, leading to three different axiom systems

    The Encyclopedia of Neutrosophic Researchers, 5th Volume

    Get PDF
    Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the fifth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books

    Full Issue

    Get PDF

    SciTech News Volume 71, No. 1 (2017)

    Get PDF
    Columns and Reports From the Editor 3 Division News Science-Technology Division 5 Chemistry Division 8 Engineering Division Aerospace Section of the Engineering Division 9 Architecture, Building Engineering, Construction and Design Section of the Engineering Division 11 Reviews Sci-Tech Book News Reviews 12 Advertisements IEEE

    Case-based reasoning for product style construction and fuzzy analytic hierarchy process evaluation modeling using consumers linguistic variables

    Get PDF
    Key form features are relative to the style of a product and the expression style features depict the product description and are a measurement of attribute knowledge. The uncertainty definition leads to an improved and effective product style retrieval when combined with fuzzy sets. Firstly, a style knowledge and features database are constructed using fuzzy case based reasoning technology (FCBR). A similarity measurement method based on case-based reasoning and fuzzy model of the fuzzy proximity method may be defined by the Fuzzy Nearest-Neighbor (FNN) algorithm obtaining the style knowledge extraction. Secondly, the Linguistic Variables (LV) are used to assess the product characteristics to establish the product style evaluation database for simplifying the style presentation and decreasing the computational complexity. Thirdly, the model of product style feature set, extracted by FAHP and the final style related form features set, are acquired using LV. This research involves a case study for extracting the key form features of the style of high heel shoes. The proposed algorithms are generated by calculating the weights of each component of high heel shoes using FAHP with LV. The case study and results established that the proposed method is feasible and effective for extracting the style of the product

    New Trends in Neutrosophic Theory and Applications Volume II

    Get PDF
    Neutrosophic set has been derived from a new branch of philosophy, namely Neutrosophy. Neutrosophic set is capable of dealing with uncertainty, indeterminacy and inconsistent information. Neutrosophic set approaches are suitable to modeling problems with uncertainty, indeterminacy and inconsistent information in which human knowledge is necessary, and human evaluation is needed. Neutrosophic set theory was proposed in 1998 by Florentin Smarandache, who also developed the concept of single valued neutrosophic set, oriented towards real world scientific and engineering applications. Since then, the single valued neutrosophic set theory has been extensively studied in books and monographs introducing neutrosophic sets and its applications, by many authors around the world. Also, an international journal - Neutrosophic Sets and Systems started its journey in 2013. Single valued neutrosophic sets have found their way into several hybrid systems, such as neutrosophic soft set, rough neutrosophic set, neutrosophic bipolar set, neutrosophic expert set, rough bipolar neutrosophic set, neutrosophic hesitant fuzzy set, etc. Successful applications of single valued neutrosophic sets have been developed in multiple criteria and multiple attribute decision making. This second volume collects original research and application papers from different perspectives covering different areas of neutrosophic studies, such as decision making, graph theory, image processing, probability theory, topology, and some theoretical papers. This volume contains four sections: DECISION MAKING, NEUTROSOPHIC GRAPH THEORY, IMAGE PROCESSING, ALGEBRA AND OTHER PAPERS. First paper (Pu Ji, Peng-fei Cheng, Hongyu Zhang, Jianqiang Wang. Interval valued neutrosophic Bonferroni mean operators and the application in the selection of renewable energy) aims to construct selection approaches for renewable energy considering the interrelationships among criteria. To do that, Bonferroni mean (BM) and geometric BM (GBM) are employed

    Full Issue

    Get PDF

    Full Issue

    Get PDF
    • …
    corecore