Results 1 to 10 of about 1,473,223 (214)
SELECTION OF VIDEO CONFERENCE APPLICATION FOR MATHEMATICS LEARNING USING INTUITIONISTIC FUZZY MAX-MIN AVERAGE COMPOSITION METHOD [PDF]
Barekeng, 2023 In this article, the Intuitionistic Fuzzy Max-Min Average Composition method is used which aims to choose the right video conferencing application for learning mathematics.
Kiki Henra +2 more
doaj +4 more sources
Indeterminism in physics and intuitionistic mathematics [PDF]
Synthese, 2021 Abstract Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to “speak” of indeterminism, its inability to present us a worldview in which new ...
Gisin N.
openaire +5 more sources
On Weihrauch Reducibility and Intuitionistic Reverse Mathematics [PDF]
Journal of Symbolic Logic, 2017 AbstractWe show that there is a strong connection between Weihrauch reducibility on one hand, and provability in EL0, the intuitionistic version of RCA0, on the other hand. More precisely, we show that Weihrauch reducibility to the composition of finitely many instances of a theorem is captured by provability in EL0 together with Markov’s principle ...
exaly +4 more sources
Philosophical Foundations of Intuitionistic Logic [PDF]
Metaphysics, 2013 Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics.
L Nabavi, MA Hojati, H Alaeenezhad
doaj +2 more sources
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic
Notre Dame Journal of Formal Logic, 2001 This article investigates the mathematical logic of intuitionistic propositional and predicate calculi using the framework of reverse mathematics [\textit{S. G. Simpson}, Subsystems of second order arithmetic, Berlin: Springer (1999; Zbl 0909.03048)]. Working in RCA\(_0\), the author shows that a version of the strong completeness theorem asserting the
Takeshi Yamazaki
exaly +3 more sources
Independence and conservativity results for intuitionistic set theory [PDF]
, 2010 There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with ...
Chen, Ray-Ming
core +9 more sources
Federated edge-AI for reliable and privacy-preserving pipeline leak detection in drone swarms using neutrosophic sugeno-weber norms [PDF]
Scientific ReportsThe ability to monitor the safety of natural gas pipelines is guaranteed by leak detection. Systems are capable of responding quickly, and very precisely to events because delays during such events can lead to serious environmental consequences, hurt ...
Rana Muhammad Zulqarnain +6 more
doaj +2 more sources
Neutrosophic Hypersoft Topological Spaces [PDF]
Neutrosophic Sets and Systems, 2021 Hypersoft sets have gained more importance as a generalization of soft sets and have been investigated for possible extensions in many fields of mathematics.
D. Ajay, J. Joseline Charisma
doaj +1 more source
Conditional Intuitionistic Fuzzy Mean Value
Axioms, 2021 The conditional mean value has applications in regression analysis and in financial mathematics, because they are used in it. We can find papers from recent years that use the conditional mean value in fuzzy cases.
Katarína Čunderlíková
doaj +1 more source
International Journal for Simulation and Multidisciplinary Design Optimization, 2023 The main goal of this research is to compare group and individual replacement models based on fuzzy replacement theory and intuitionistic fuzzy replacement theory.
Saranya Vijaya Kumar +1 more
doaj +1 more source