Results 51 to 60 of about 1,213,224 (213)
Revenge Russell‐Myhill and the Ramified Hierarchy
ABSTRACT The Russell‐Myhill paradox targeting the structuralist view of proposition in classical higher‐order logic is blocked by implementing restrictions associated with an ordinary account of predicativity. However, it has been shown that these restrictions are not safe: “revenge” versions of the paradox show the inconsistency of the structuralist ...
Jacopo Berneri
wiley +1 more source
Intuitionistic Fuzzy Topology Based on Intuitionistic Fuzzy Logic
There are many symmetries in intuitionistic fuzzifying topology. In the present paper, the notion of intuitionistic fuzzifying topology as an extension of fuzzifying topology and a preliminary of the research on bi-intuitionistic fuzzy topology is ...
Shaoyu Zhang +2 more
core +1 more source
A spotlight on mathematics education in the Netherlands and the central role of Realistic Mathematics Education [PDF]
In this introductory chapter I give a preview of the landscape of issues concerning mathematics education in the Netherlands and the role of Realistic Mathematics Education (RME) that one can come across in this volume, which contains the reflections of ...
Sub Mathematics Education +5 more
core +3 more sources
Convexity for Interval Valued Neutrosophic Setsand its Application in Decision Making [PDF]
The notion ‘Convexity’ is applied in various areas of mathematics particularly in optimization techniques. It is known that this concept is applied in fuzzy sets, which is studied by many authors.
Suthi Keerthana Kumar +4 more
doaj +1 more source
Circular intuitionistic fuzzy Hamacher aggregation operators for multi-attribute decision-making [PDF]
Thabet Abdeljawad, Aliya Fahmi
exaly +2 more sources
A novel method for evaluating the ESG performance level of power companies is proposed. The PFS‐FWZIC method is employed to calculate the indicator weights, avoiding the inconsistency issues associated with traditional methods. An ESG performance evaluation index system tailored for the power industry is constructed.
Qiang Li +4 more
wiley +1 more source
Two loop detection mechanisms: a comparison [PDF]
In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
EXAMINING HIGHER ORDER THINKING IN INDONESIAN LOWER SECONDARY MATHEMATICS CLASSROOMS [PDF]
Indonesian students’ poor performance in the mathematics test of PISA 2015 prompted the decision by the Ministry of Education of Indonesia to pay more attention to the integration of higher-order thinking (HOT) in the curricula starting in 2018. This new
Doorman, L.M. +4 more
core +2 more sources
Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis.
Piotr Urbańczyk
doaj
Generalized Bi-ideal of Ordered Semigroup Related to Intuitionistic Fuzzy Point [PDF]
Intuitionistic fuzzy generalized bi-ideals play an important role in the study of ordered semigroups. In this paper, we try obtain more general form of intuitionistic fuzzy generalized bi-ideal of an ordered semigroup.
Hidayat Ullah Khan +3 more
doaj +1 more source

