Results 171 to 180 of about 1,880 (221)

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.
Mohammad Ardeshir, Rasoul Ramezanian
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   +1 more
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, Tennant Neil
exaly   +2 more sources

Home - About - Disclaimer - Privacy