Results 171 to 180 of about 1,213,224 (213)

Mathematics of Intuitionistic Fuzzy Sets

Studies in Fuzziness and Soft Computing, 2016
Short firsthand remarks on the history and theory of Intuitionistic Fuzzy Sets (IFSs) are given. Influences of other areas of mathematics for development of the IFSs theory are discussed. On the basis of results in IFSs theory, some ideas for development of other mathematical areas are offered.
Krassimir Atanassov
exaly   +2 more sources

Intuitionistic mathematics does not needex falso quodlibet

Topoi, 1994
We define a system IR of first-order intuitionistic relevant logic. We show that intuitionistic mathematics (on the assumption that it is consistent) can be relevantized, by virtue of the following metatheorem: any intuitionistic proof of A from a setX of premisses can be converted into a proof in IR of eitherA or absurdity from some subset ofX.
Neil Tennant
exaly   +2 more sources

Intuitionistic views on the nature of mathematics

SynthÈse, 1974
exaly   +4 more sources

Temporal and atemporal truth in intuitionistic mathematics

Topoi, 1994
In Sect. 11.2, we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of the classical meaning of the logical constants and consequently is incompatible with the antirealism of orthodox Intuitionism. In Sect.
Martino, Enrico, Usberti, Gabriele
openaire   +1 more source

Intuitionistic mathematics and wittgenstein

History and Philosophy of Logic, 1991
The relation between Wittgenstein's philosophy of mathematics and mathematical Intuitionism has raised a considerable debate. My attempt is to analyse if there is a commitment in Wittgenstein to themes characteristic of the intuitionist movement in Mathematics and if that commitment is one important strain that runs through his Remarks on the ...
openaire   +1 more source

Solipsism and philosophy of mathematics: intuitionists compared

2022
This paper will consider L. E. J. Brouwer, A. Heyting and G. F. C. Griss as the first generation of Dutch intuitionists to look at the interrelationship between solipsism and mathematics. In particular, our focus will be on Heyting, on the basis of the existence of some unpublished material (and also some difficult to find published material) revealing
openaire   +1 more source

Elementary Intuitionistic Mathematics

2000
Abstract The name ‘intuitionism’ is due to Brouwer’s acceptance of the Kantian thesis that our concept of the natural number series is derived from temporal intuition, our apprehension of the passage of time; not, indeed, from any particular details of our experience, but from the a priori form of that experience as involving temporal ...
openaire   +1 more source

Models of Mathematical Programming for Intuitionistic Multiplicative Preference Relations

IEEE Transactions on Fuzzy Systems, 2017
In order to capture/model uncertainty associated with imprecision or vagueness, a decision maker may express her/his judgments in terms of intuitionistic multiplicative preference relation (IMPR). Two important research topics with this regard are studied in the paper: 1) checking consistency of IMPR and 2) generating weights on the basis of this ...
Zhiming Zhang 0002, Witold Pedrycz
openaire   +2 more sources

Relational Quantum Mechanics and Intuitionistic Mathematics

Foundations of Physics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Continuum in Constructive and Intuitionistic Mathematics

2019
In constructive mathematics, a problem is counted as solved only if an explicit solution can, in principle at least, be produced. Thus, for example, “There is an x such that P(x)” means that, in principle at least, we can explicitly produce an x such that P(x).
openaire   +1 more source