Results 131 to 140 of about 1,138 (180)
Some of the next articles are maybe not open access.

Related searches:

Decidability and Specker sequences in intuitionistic mathematics

Mathematical Logic Quarterly, 2009
AbstractA bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Church's Thesis permits the existence of a Specker sequence. In intuitionistic mathematics, Brouwer's Continuity Principle implies it is false that every bounded monotone sequence of real numbers has a limit.
Rasoul Ramezanian, Mohammad Ardeshir
exaly   +3 more sources

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

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 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

Home - About - Disclaimer - Privacy