Results 131 to 140 of about 1,452,486 (168)

Models of Mathematical Programming for Intuitionistic Multiplicative Preference Relations

IEEE Transactions on Fuzzy Systems, 2017
In order to capture/model uncertainty associated with imprecision or vagueness, a decision maker may express her/his judgments in terms of intuitionistic multiplicative preference relation (IMPR). Two important research topics with this regard are studied in the paper: 1) checking consistency of IMPR and 2) generating weights on the basis of this ...
Zhiming Zhang 0002, Witold Pedrycz
openaire   +2 more sources

Relational Quantum Mechanics and Intuitionistic Mathematics

Foundations of Physics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Continuum in Constructive and Intuitionistic Mathematics

2019
In constructive mathematics, a problem is counted as solved only if an explicit solution can, in principle at least, be produced. Thus, for example, “There is an x such that P(x)” means that, in principle at least, we can explicitly produce an x such that P(x).
openaire   +1 more source

Negationless intuitionistic mathematics

1944
Not ...
openaire   +2 more sources

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

Constructive Mathematics and Models of Intuitionistic Theories

1973
Publisher 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, 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

Logic of Negationless Intuitionistic Mathematics

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

Intuitionistic Logic and Local Mathematical Theories

Mathematical Logic Quarterly, 1977
openaire   +2 more sources