Works matching DE "CONSTRUCTIVE mathematics"
Results: 436
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.
- Published in:
- Minds & Machines, 2008, v. 18, n. 1, p. 1, doi. 10.1007/s11023-007-9082-2
- By:
- Publication type:
- Article
Notes on a 'Constructive Proof of the Existence of a Collateral Equilibrium'.
- Published in:
- Computational Economics, 2016, v. 48, n. 1, p. 179, doi. 10.1007/s10614-015-9504-9
- By:
- Publication type:
- Article
Constructive scattering theory.
- Published in:
- Theoretical & Mathematical Physics, 2017, v. 193, n. 1, p. 1420, doi. 10.1134/S0040577917100026
- By:
- Publication type:
- Article
A note on almost causality and reflectingness of space-time.
- Published in:
- Theoretical & Mathematical Physics, 2013, v. 176, n. 3, p. 1140, doi. 10.1007/s11232-013-0094-1
- By:
- Publication type:
- Article
Modelling the Pulsating Process.
- Published in:
- Algebra & Logic, 2003, v. 42, n. 6, p. 357, doi. 10.1023/B:ALLO.0000004169.60673.90
- By:
- Publication type:
- Article
Uniformity in Computable Structure Theory.
- Published in:
- Algebra & Logic, 2003, v. 42, n. 5, p. 318, doi. 10.1023/A:1025971406116
- By:
- Publication type:
- Article
Implicit Definability and Positive Logics.
- Published in:
- Algebra & Logic, 2003, v. 42, n. 1, p. 37, doi. 10.1023/A:1022628824337
- By:
- Publication type:
- Article
A convergent algorithm for a cascade network of multiplexed dual output discrete perceptrons for linearly nonseparable classification.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2014, v. 22, n. 2, p. 380, doi. 10.3906/elk-1201-101
- By:
- Publication type:
- Article
Comments on some theories of fuzzy computation.
- Published in:
- International Journal of General Systems, 2016, v. 45, n. 4, p. 372, doi. 10.1080/03081079.2015.1076403
- By:
- Publication type:
- Article
A note on measuring fuzziness for intuitionistic and interval-valued fuzzy sets.
- Published in:
- International Journal of General Systems, 2015, v. 44, n. 7/8, p. 889, doi. 10.1080/03081079.2015.1029472
- By:
- Publication type:
- Article
Some geometric aggregation operators based on intuitionistic fuzzy sets.
- Published in:
- International Journal of General Systems, 2006, v. 35, n. 4, p. 417, doi. 10.1080/03081070600574353
- By:
- Publication type:
- Article
SOME CLASSES OF INTERIOR CO-IDEALS IN Γ-SEMIGROUP WITH APARTNESS.
- Published in:
- Acta Universitatis Apulensis: Mathematics-Informatics, 2022, n. 69, p. 49, doi. 10.17114/j.aua.2021.69.05
- By:
- Publication type:
- Article
THE FIRST ISOMORPHISM THEOREM OF IMPLICATIVE SEMIGROUP WITH APARTNESS.
- Published in:
- Acta Universitatis Apulensis: Mathematics-Informatics, 2021, n. 65, p. 37, doi. 10.17114/j.aua.2020.65.04
- By:
- Publication type:
- Article
A NEW CO-FILTER IN IMPLICATIVE SEMIGROUPS WITH APARTNESS.
- Published in:
- Acta Universitatis Apulensis: Mathematics-Informatics, 2020, n. 64, p. 43, doi. 10.17114/j.aua.2020.64.05
- By:
- Publication type:
- Article
A STUDY OF SOME RELIABLE METHODS FOR SOLVING FUZZY VOLTERRA-FREDHOLM INTEGRAL EQUATIONS.
- Published in:
- Acta Universitatis Apulensis: Mathematics-Informatics, 2020, n. 61, p. 65, doi. 10.17114/j.aua.2018.53.06
- By:
- Publication type:
- Article
A REMARK ON CO-IDEALS IN IMPLICATIVE SEMIGROUPS WITH APARTNESS.
- Published in:
- Acta Universitatis Apulensis: Mathematics-Informatics, 2020, n. 61, p. 55, doi. 10.17114/j.aua.2019.61.05
- By:
- Publication type:
- Article
ON CO-FILTERS OF IMPLICATIVE SEMIGROUPS WITH APARTNESS.
- Published in:
- Acta Universitatis Apulensis: Mathematics-Informatics, 2019, n. 59, p. 33, doi. 10.17114/j.aua.2019.59.04
- By:
- Publication type:
- Article
HIGHER PLACEMENT STANDARDS INCREASE COURSE SUCCESS BUT REDUCE PROGRAM COMPLETIONS.
- Published in:
- JGE: The Journal of General Education, 2006, v. 55, n. 2, p. 138, doi. 10.1353/jge.2006.0023
- By:
- Publication type:
- Article
Smooth finitely computable functions are affine, or why quantum systems cause waves.
- Published in:
- Doklady Mathematics, 2015, v. 92, n. 3, p. 655, doi. 10.1134/S1064562415060022
- By:
- Publication type:
- Article
Bounded algebraic systems and universal functions.
- Published in:
- Doklady Mathematics, 2010, v. 81, n. 2, p. 309, doi. 10.1134/S1064562410020407
- By:
- Publication type:
- Article
COGNITIVE THEORIES, PRIOR KNOWLEDGE, AND ANCHORED INSTRUCTION ON MATHEMATICAL PROBLEM SOLVING AND TRANSFER.
- Published in:
- Education & Urban Society, 2003, v. 36, n. 1, p. 79, doi. 10.1177/0013124503257016
- By:
- Publication type:
- Article
The Brain and the New Foundations of Mathematics.
- Published in:
- Symmetry (20738994), 2021, v. 13, n. 6, p. 1002, doi. 10.3390/sym13061002
- By:
- Publication type:
- Article
Some q-Rung Dual Hesitant Fuzzy Heronian Mean Operators with Their Application to Multiple Attribute Group Decision-Making.
- Published in:
- Symmetry (20738994), 2018, v. 10, n. 10, p. 472, doi. 10.3390/sym10100472
- By:
- Publication type:
- Article
Approach to Multi-Criteria Group Decision-Making Problems Based on the Best-Worst-Method and ELECTRE Method.
- Published in:
- Symmetry (20738994), 2016, v. 8, n. 9, p. 95, doi. 10.3390/sym8090095
- By:
- Publication type:
- Article
MODERNITATE ȘI ATEMPORALITATE: TIMP ISTORIC vs. TIMP ECONOMIC.
- Published in:
- Review of Management & Economic Engineering, 2010, v. 9, n. 1, p. 11
- By:
- Publication type:
- Article
A Constructive Look at Functions of Bounded Variation.
- Published in:
- Bulletin of the London Mathematical Society, 2000, v. 32, n. 3, p. 316, doi. 10.1112/S0024609399006736
- By:
- Publication type:
- Article
Improved Constructive Multistart Strategies for the Quadratic Assignment Problem Using Adaptive Memory.
- Published in:
- INFORMS Journal on Computing, 1999, v. 11, n. 2, p. 198, doi. 10.1287/ijoc.11.2.198
- By:
- Publication type:
- Article
Do sentido de beleza em matemática e do que se mostrou belo para nós na demonstração do teorema da incompletude de Gödel.
- Published in:
- Educação Matemática Pesquisa, 2022, v. 24, n. 2, p. 618, doi. 10.23925/1983-3156.2022v24i2p618-646
- By:
- Publication type:
- Article
The paradox of phase transitions in the light of constructive mathematics.
- Published in:
- Synthese, 2019, v. 196, n. 5, p. 1863, doi. 10.1007/s11229-017-1637-z
- By:
- Publication type:
- Article
Intuitionistc probability and the Bayesian objection to dogmatism.
- Published in:
- Synthese, 2017, v. 194, n. 10, p. 3997, doi. 10.1007/s11229-016-1120-2
- By:
- Publication type:
- Article
Reactive intuitionistic tableaux.
- Published in:
- Synthese, 2011, v. 179, n. 2, p. 253, doi. 10.1007/s11229-010-9781-8
- By:
- Publication type:
- Article
An epistemic logic for becoming informed.
- Published in:
- Synthese, 2009, v. 167, n. 2, p. 363, doi. 10.1007/s11229-008-9413-8
- By:
- Publication type:
- Article
Giovanni Sommaruga (ed.), Foundational Theories of Classical and Constructive Mathematics, Springer, The Western Ontario Series in Philosophy of Science, Vol. 76, 2011, pp. xi+314. ISBN 978-94-007-0430-5 (hardcover) US $139.00.
- Published in:
- 2012
- By:
- Publication type:
- Book Review
The Second Incompleteness Theorem and Bounded Interpretations.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 399, doi. 10.1007/s11225-012-9385-z
- By:
- Publication type:
- Article
The Single-minded Pursuit of Consistency and its Weakness.
- Published in:
- Studia Logica, 2011, v. 97, n. 1, p. 81, doi. 10.1007/s11225-010-9298-7
- By:
- Publication type:
- Article
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 95, doi. 10.1007/s11225-010-9275-1
- By:
- Publication type:
- Article
Priestley Duality for Paraconsistent Nelson’s Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 65, doi. 10.1007/s11225-010-9274-2
- By:
- Publication type:
- Article
Semigroup action on groupoid ordered under co-order.
- Published in:
- Quasigroups & Related Systems, 2018, v. 26, n. 2, p. 299
- By:
- Publication type:
- Article
Generalized intuitionistic fuzzy soft power aggregation operator based on t‐norm and their application in multicriteria decision‐making.
- Published in:
- International Journal of Intelligent Systems, 2019, v. 34, n. 2, p. 215, doi. 10.1002/int.22048
- By:
- Publication type:
- Article
Score‐hesitation trade‐off and portfolio selection under intuitionistic fuzzy environment.
- Published in:
- International Journal of Intelligent Systems, 2019, v. 34, n. 2, p. 325, doi. 10.1002/int.22052
- By:
- Publication type:
- Article
A ranking function based on principal‐value Pythagorean fuzzy set in multicriteria decision making.
- Published in:
- International Journal of Intelligent Systems, 2018, v. 33, n. 8, p. 1717, doi. 10.1002/int.21993
- By:
- Publication type:
- Article
A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity.
- Published in:
- ISRN Applied Mathematics, 2011, p. 1, doi. 10.5402/2011/276040
- By:
- Publication type:
- Article
On the Existence of Infinite Size Costas Arrays Configurations of Nonattacking Queens on the Chessboard.
- Published in:
- International Journal of Combinatorics, 2010, v. 2010, p. 1, doi. 10.1155/2010/897196
- By:
- Publication type:
- Article
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.
- Published in:
- Mathematical Logic Quarterly, 2023, v. 69, n. 3, p. 370, doi. 10.1002/malq.202200031
- By:
- Publication type:
- Article
König's lemma, weak König's lemma, and the decidable fan theorem.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 2, p. 241, doi. 10.1002/malq.202000020
- Publication type:
- Article
Decidable fan theorem and uniform continuity theorem with continuous moduli.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 1, p. 116, doi. 10.1002/malq.202000028
- By:
- Publication type:
- Article
The logic Ł<sup>•</sup>.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 375, doi. 10.1002/malq.201200105
- By:
- Publication type:
- Article
Formal continuity implies uniform continuity near compact images on metric spaces.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 1/2, p. 66, doi. 10.1002/malq.201200006
- By:
- Publication type:
- Article
Uniformly convex Banach spaces are reflexive-constructively.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 352, doi. 10.1002/malq.201200093
- By:
- Publication type:
- Article
How to construct a product of a-frames.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 4/5, p. 281, doi. 10.1002/malq.201110059
- By:
- Publication type:
- Article