Results 31 to 40 of about 1,213,224 (213)
ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS [PDF]
The 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 ...
openaire +3 more sources
A random set and prototype theory interpretation of intuitionistic fuzzy sets [PDF]
, 2010 An interpretation of intuitionistic fuzzy sets is proposed based on random set theory and prototype theory. The extension of fuzzy labels are modelled by lower and upper random set neighbourhoods, identifying those element of the universe within an ...
Lawry, Jonathan, Jonathan Lawry
core +1 more source
Statistical Convergence of Double Sequences in Intuitionistic Fuzzy Metric Spaces
Journal of New Theory, 2023 Statistical convergence has been a prominent research area in mathematics since this concept was independently introduced by Fast and Steinhaus in 1951.
Sevcan Bulut +3 more
doaj +1 more source
Logical rules and the determinacy of meaning
Studies in Logic, Grammar and Rhetoric, 2018 The use of conventional logical connectives either in logic, in mathematics, or in both cannot determine the meanings of those connectives. This is because every model of full conventional set theory can be extended conservatively to a model of ...
McCarty Charles
doaj +1 more source
Barekeng, 2023 An intuitionistic fuzzy set (IFS) can be helpful in decision-making as a concept to describe uncertainty. This study proposes the application of IFS in determining research topics for students of the mathematics education study program using the ...
Sutrisno Sutrisno +2 more
doaj +1 more source
Some geometrical methods for constructing contradiction measures on Atanassov's intuitionistic fuzzy sets [PDF]
, 2011 Trillas et al. (1999, Soft computing, 3 (4), 197–199) and Trillas and Cubillo (1999, On non-contradictory input/output couples in Zadeh's CRI proceeding, 28–32) introduced the study of contradiction in the framework of fuzzy logic because of the ...
Torres Blanc, Carmen +5 more
core +1 more source
Intuitionistic Mathematics and Logic
, 2020 This is an English translation, by the authors, of an article published in the Greek volume Stigmes kai Diarkeies, pp. 43-85, Ed.
Moschovakis, Joan R. +1 more
openaire +2 more sources
Intuitionistic quantum logic of an n-level system [PDF]
, 2009 A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P. +19 more
core +2 more sources
Neutrosophic Games Applied to Political Situations [PDF]
Neutrosophic Sets and Systems, 2020 Game theory is the branch of applied mathematics dedicated to modeling and resolve conflict situations. This has great application in other sciences such as economics, military sciences, biology, sociology, cybernetics, and political sciences.
Nemis Garcia Arias +3 more
doaj +1 more source
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources