Results 181 to 190 of about 1,473,223 (214)
Some of the next articles are maybe not open access.
Constructive Mathematics and Models of Intuitionistic Theories
1973Publisher Summary This chapter discusses applications of constructive mathematics for investigations of semantic questions and theories of intuitionistic choice sequences. Some general inductive definitions are introduced into constructive mathematics. For example, the suggested conception is applied to the study of Markov's semantics of constructive
openaire +1 more source
What is the philosophical basis of intuitionistic mathematics?
1995Publisher Summary This chapter explores the philosophical basis of intuitionistic mathematics. There are insights in intuitionism that are found nowhere else in the philosophy of mathematics; insights that ought to be preserved, clarified, and extended. Chief among these is the idea that a proof is a mental construction.
openaire +1 more source
The Foundations of Intuitionistic Mathematics.
The American Mathematical Monthly, 1967H. E. Kyburg, S. C. Kleene, R. E. Vesley
openaire +1 more source
Intuitionistic Fuzzy Hypersoft Sets
Communications Faculty of Science University of Ankara Series A1Mathematics and Statistics, 2021Adem Yolcu +2 more
exaly
Negationless Intuitionistic Mathematics. IVa
Indagationes Mathematicae (Proceedings), 1951openaire +2 more sources
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic
1977Standard formalizations of constructive mathematics (’constructive’ here in the narrow sense of Bishop (1967): choice sequences are regarded as inacceptable, and Church’s thesis is not assumed) can be carried out in formal systems based on intuitionistic logic which become classical formal systems on addition of the principle of the excluded third. The
openaire +1 more source
Logic of Negationless Intuitionistic Mathematics
Indagationes Mathematicae (Proceedings), 1951openaire +2 more sources
Intuitionistic Fuzzy Soft Topology via Neighborhood
Maltepe Journal of Mathematics, 2023Banu Pazár Varol
exaly
Intuitionistic Logic and Local Mathematical Theories
Mathematical Logic Quarterly, 1977openaire +2 more sources
Connectedness in Temporal Intuitionistic Fuzzy Topology in Chang's Sense
Journal of Universal Mathematics, 2021Feride Tugrul
exaly