Results 131 to 140 of about 1,063 (158)

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

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

Algorithm for controllable and nilpotent intuitionistic fuzzy matrices

Afrika Matematika, 2022
P Murugadas
exaly  

The Foundations of Intuitionistic Mathematics

1965
openaire   +1 more source

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

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

Intuitionistic fuzzy competition graphs

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

Intuitionistic fuzzy finite state machines

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

Cubic intuitionistic structure of KU-algebras

Afrika Matematika, 2019
Young Bae Jun, Tapan Senapati, Jun Young Bae   +2 more
exaly  

GUIDELINES OF INTUITIONISTIC MATHEMATICS

1975
openaire   +1 more source