Results 21 to 30 of about 1,880 (221)

A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS [PDF]

open access: yes, 1995
In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, which rigorously defines the ...
SMARANDACHE, F.
core   +1 more source

ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS [PDF]

open access: yesThe 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   +2 more sources

Hermann Weyl's intuitionistic mathematics (revised edition)

open access: yes, 1993
It is common knowledge that for a short while Hermann Weyl joined Brouwer in his pursuit of a revision of mathematics according to intuitionistic principles. There is, however, little in the literature that sheds light on Weyl's role, and in particular on Brouwer's reaction to Weyl's allegiance to the cause of intuitionism. This short episode certainly
Dalen, D. van
openaire   +2 more sources

On sequent calculi for intuitionistic propositional logic [PDF]

open access: yes, 2003
summary:The well-known Dyckoff's 1992 calculus/procedure for intuitionistic propositional logic is considered and analyzed. It is shown that the calculus is Kripke complete and the procedure in fact works in polynomial space.
Vítězslav ˇ Svejdar   +1 more
core   +1 more source

Statistical Convergence of Double Sequences in Intuitionistic Fuzzy Metric Spaces

open access: yesJournal 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

Solving intuitionistic fuzzy multi-objective linear programming problem and its application in supply chain management

open access: yes, 2023
summary:The aim of this paper is solving an intuitionistic fuzzy multi-objective linear programming problem containing intuitionistic fuzzy parameters, intuitionistic fuzzy maximization/minimization, and intuitionistic fuzzy constraints.
Hosseinzadeh, Elham   +2 more
core   +1 more source

Logical rules and the determinacy of meaning

open access: yesStudies 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

APPLICATION OF INTUITIONISTIC FUZZY SETS IN DETERMINING RESEARCH TOPICS FOR MATHEMATICS EDUCATION STUDENTS THROUGH THE NORMALIZED EUCLIDEAN DISTANCE METHOD

open access: yesBarekeng, 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

Neutrosophic Games Applied to Political Situations [PDF]

open access: yesNeutrosophic 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

Home - About - Disclaimer - Privacy