Results 21 to 30 of about 1,082 (177)

Negation in Negationless Intuitionistic Mathematics

open access: yesPhilosophia Mathematica, 2022
AbstractThe mathematician G.F.C. Griss is known for his program of negationless intuitionistic mathematics. Although Griss’s rejection of negation is regarded as characteristic of his philosophy, this is a consequence of an executability requirement that mental constructions presuppose agents’ executing corresponding mental activity.
openaire   +2 more sources

Intuitionistic fuzzy lattice ordered G-modules [PDF]

open access: yesJournal of Fuzzy Extension and Applications
The investigation of mathematics underlines accuracy, precision, and flawlessness, yet in numerous genuine circumstances, individuals face equivocalness, ambiguity, imprecision, and so forth.
Poonam Sharma
doaj   +1 more source

Techniques for Finding Analytical Solution of Generalized Fuzzy Differential Equations with Applications

open access: yesComplexity, 2023
Engineering and applied mathematics disciplines that involve differential equations include classical mechanics, thermodynamics, electrodynamics, and general relativity.
Mudassir Shams   +4 more
doaj   +1 more source

Philosophical Foundations of Intuitionistic Logic [PDF]

open access: yesMetaphysics, 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   +1 more source

A New Ranking Method for Interval-Valued Intuitionistic Fuzzy Numbers and Its Application in Multi-Criteria Decision-Making

open access: yesMathematics, 2021
Ranking of interval-valued intuitionistic fuzzy numbers (IVIFNs) is an important task for solving real-life Decision-Making problems. It is a potential area of research that has attracted the researchers working in fuzzy mathematics.
Jeevaraj Selvaraj, Abhijit Majumdar
doaj   +1 more source

A brief note on intuitionistic fuzzy operators [PDF]

open access: yesNotes on IFS
The research on intuitionistic fuzzy sets gives an extra dimension in mathematics. It has been observed that some operators including the modal operators have very interesting properties in intuitionistic fuzzy sets.
Jaydip Bhattacharya
doaj   +1 more source

On Various Negative Translations [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2011
Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referred to as negative translations or double-negation translations. Among those, the most
Gilda Ferreira, Paulo Oliva
doaj   +1 more source

Connectedness of the continuum in intuitionistic mathematics [PDF]

open access: yesMathematical Logic Quarterly, 2018
AbstractWorking in (Intuitionistic analysis) we prove a strong, constructive connectedness property of the continuum: for any non‐empty sets, A and B, if then is non‐empty. It is well known that the intuitionistic continuum is indecomposable: if and then or , but this property is essentially negative—equivalent to if A, B are non‐empty and then .
openaire   +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

Home - About - Disclaimer - Privacy