Results 191 to 200 of about 1,880 (221)

What is the philosophical basis of intuitionistic mathematics?

1995
Publisher 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, 1967
H. E. Kyburg, S. C. Kleene, R. E. Vesley
openaire   +1 more source

Negationless Intuitionistic Mathematics. IVa

Indagationes Mathematicae (Proceedings), 1951
openaire   +2 more sources

Axioms for Intuitionistic Mathematics Incompatible with Classical Logic

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

Algorithm for controllable and nilpotent intuitionistic fuzzy matrices

Afrika Matematika, 2022
P Murugadas
exaly  

Logic of Negationless Intuitionistic Mathematics

Indagationes Mathematicae (Proceedings), 1951
openaire   +2 more sources

Intuitionistic Logic and Local Mathematical Theories

Mathematical Logic Quarterly, 1977
openaire   +1 more source

Intuitionistic $$L$$ -fuzzy ideals of $$BG$$ -algebras

Afrika Matematika, 2013
Monoranjan Bhowmik, Tapan Senapati, Madhumangal Pal   +2 more
exaly  

Intuitionistic fuzzy competition graphs

Journal of Applied Mathematics and Computing, 2015
Sankar Sahoo, Madhumangal Pal, Sahoo Sankar   +2 more
exaly  

Intuitionistic fuzzy finite state machines

Journal of Applied Mathematics and Computing, 2005
Young Bae Jun, Jun Young Bae
exaly