Results 181 to 190 of about 1,213,224 (213)
Some of the next articles are maybe not open access.
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
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
The Foundations of Intuitionistic Mathematics.
The American Mathematical Monthly, 1967H. E. Kyburg, S. C. Kleene, R. E. Vesley
openaire +1 more source
Negationless Intuitionistic Mathematics. IVa
Indagationes Mathematicae (Proceedings), 1951openaire +2 more sources
Logic of Negationless Intuitionistic Mathematics
Indagationes Mathematicae (Proceedings), 1951openaire +2 more sources
Algorithm for controllable and nilpotent intuitionistic fuzzy matrices
Afrika Matematika, 2022P Murugadas
exaly
Intuitionistic Logic and Local Mathematical Theories
Mathematical Logic Quarterly, 1977openaire +2 more sources
Intuitionistic fuzzy finite state machines
Journal of Applied Mathematics and Computing, 2005Young Bae Jun
exaly