Decidability and Specker sequences in intuitionistic mathematics.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 6, p. 637, doi. 10.1002/malq.200710094
- By:
- Publication type:
- Article
Works matching Intuitionistic mathematics
Results: 1142
1
2
Negation in Negationless Intuitionistic Mathematics.
- Published in:
- Philosophia Mathematica, 2023, v. 31, n. 1, p. 29, doi. 10.1093/philmat/nkac026
- By:
- Publication type:
- Article
3
Indeterminism in physics and intuitionistic mathematics.
- Published in:
- Synthese, 2021, v. 199, n. 5/6, p. 13345, doi. 10.1007/s11229-021-03378-z
- By:
- Publication type:
- Article
4
Enrico Martino.Intuitionistic Proof Versus Classical Truth, The Role of Brouwer's Creative Subject in Intuitionistic Mathematics.
- Published in:
- Philosophia Mathematica, 2019, v. 27, n. 3, p. 445, doi. 10.1093/philmat/nkz013
- By:
- Publication type:
- Article
5
ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1438, doi. 10.1017/jsl.2016.61
- By:
- Publication type:
- Article
6
Connectedness of the continuum in intuitionistic mathematics.
- Published in:
- Mathematical Logic Quarterly, 2018, v. 64, n. 4/5, p. 387, doi. 10.1002/malq.201700057
- By:
- Publication type:
- Article
7
A TWO-PART DEFENSE OF INTUITIONISTIC MATHEMATICS.
- Published in:
- Stance (1943-1880), 2021, v. 14, p. 26, doi. 10.5840/stance2021142
- By:
- Publication type:
- Article
8
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 5/6, p. 621, doi. 10.1007/s00153-014-0384-9
- By:
- Publication type:
- Article
9
The Fan Theorem, its strong negation, and the determinacy of games: The Fan Theorem, its strong negation...: W. Veldman.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 1, doi. 10.1007/s00153-024-00930-9
- By:
- Publication type:
- Article
10
Characterising Brouwer's continuity by bar recursion on moduli of continuity.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 241, doi. 10.1007/s00153-020-00740-9
- By:
- Publication type:
- Article
11
A comparative analysis of the fuzzy and intuitionistic fuzzy environment for group and individual equipment replacement Models in order to achieve the optimized results.
- Published in:
- International Journal for Simulation & Multidisciplinary Design Optimization, 2023, v. 14, p. 1, doi. 10.1051/smdo/2023006
- By:
- Publication type:
- Article
12
ON SOME OF BROUWER'S AXIOMS.
- Published in:
- Bulletin of Symbolic Logic, 2025, v. 31, n. 1, p. 1, doi. 10.1017/bsl.2024.52
- By:
- Publication type:
- Article
13
Using Brouwer's continuity principle to pick stocks.
- Published in:
- Annals of Operations Research, 2015, v. 225, n. 1, p. 161, doi. 10.1007/s10479-013-1404-6
- By:
- Publication type:
- Article
14
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics.
- Published in:
- Erkenntnis, 2015, v. 80, n. 5, p. 1055, doi. 10.1007/s10670-014-9697-7
- By:
- Publication type:
- Article
15
Temporal Direction, Intuitionism and Physics.
- Published in:
- Entropy, 2024, v. 26, n. 7, p. 594, doi. 10.3390/e26070594
- By:
- Publication type:
- Article
16
The Coherence of Antirealism.
- Published in:
- Mind (0026-4423), 2006, v. 115, n. 460, p. 947, doi. 10.1093/mind/fzl947
- By:
- Publication type:
- Article
17
On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions.
- Published in:
- Foundations of Science, 2005, v. 10, n. 3, p. 249, doi. 10.1007/s10699-004-3065-z
- By:
- Publication type:
- Article
18
Brouwerian Intuitionism*.
- Published in:
- Mind (0026-4423), 1990, v. 99, n. 396, p. 501, doi. 10.1093/mind/XCIX.396.501
- By:
- Publication type:
- Article
19
Handling higher order time series forecasting approach in intuitionistic fuzzy environment.
- Published in:
- Journal of Control & Decision, 2020, v. 7, n. 4, p. 327, doi. 10.1080/23307706.2019.1591310
- By:
- Publication type:
- Article
20
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 79, doi. 10.1007/s00153-024-00935-4
- By:
- Publication type:
- Article
21
Indecomposability of negative dense subsets of ℝ in Constructive Reverse Mathematics.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 173, doi. 10.1093/jigpal/jzp002
- By:
- Publication type:
- Article
22
Editorial. New revolutionary publication policy.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 276, doi. 10.1093/jigpal/7.3.276
- By:
- Publication type:
- Article
23
L. E. J. BROUWER AND KARL POPPER: TWO PERSPECTIVES ON MATHEMATICS.
- Published in:
- Cosmos & History, 2015, v. 11, n. 1, p. 239
- By:
- Publication type:
- Article
24
A Potentialist Perspective on Intuitionistic Analysis Open Access.
- Published in:
- Philosophia Mathematica, 2025, v. 33, n. 1, p. 1, doi. 10.1093/philmat/nkae025
- By:
- Publication type:
- Article
25
Carl J. Posy.* Mathematical Intuitionism.
- Published in:
- Philosophia Mathematica, 2022, v. 30, n. 1, p. 111, doi. 10.1093/philmat/nkab024
- By:
- Publication type:
- Article
26
Intuition in Poincaré's Philosophy of Mathematics.
- Published in:
- Beytulhikme: An International Journal of Philosophy, 2019, v. 9, n. 4, p. 925, doi. 10.18491/beytulhikme.1540
- By:
- Publication type:
- Article
27
Relational Quantum Mechanics and Intuitionistic Mathematics.
- Published in:
- Foundations of Physics, 2024, v. 54, n. 3, p. 1, doi. 10.1007/s10701-024-00774-6
- By:
- Publication type:
- Article
28
A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 3, p. 1035, doi. 10.1017/jsl.2015.21
- By:
- Publication type:
- Article
29
Sequential, pointwise, and uniform continuity: A constructive note.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 55, doi. 10.1002/malq.19930390108
- By:
- Publication type:
- Article
30
ASPECTOS DE LA OBRA DE CANTOR APRECIADOS DESDE LA TEORÍA DE CATEGORÍAS Y FUNTORES.
- Published in:
- Estudios Filosóficos, 2023, v. 73, n. 210, p. 263
- By:
- Publication type:
- Article
31
Intuitionistic fuzzy signed graphs of the second type.
- Published in:
- Bulletin of Pure & Applied Sciences-Mathematics, 2020, v. 39E, n. 2, p. 257, doi. 10.5958/2320-3226.2020.00026.0
- By:
- Publication type:
- Article
32
Exploring the Improvement of Operation Time Ability in University Administration by Introducing Analytic Hierarchy Process.
- Published in:
- International Journal for Housing Science & Its Applications, 2023, v. 44, n. 1, p. 29
- By:
- Publication type:
- Article
33
Characterizing the intuitive representation in problem solving: Evidence from evaluating...
- Published in:
- Memory & Cognition, 1997, v. 25, n. 3, p. 395, doi. 10.3758/BF03211295
- By:
- Publication type:
- Article
34
N-FUZZY IDEALS OF LATTICES.
- Published in:
- Communications Series A1 Mathematics & Statistics, 2017, v. 66, n. 2, p. 340, doi. 10.1501/Commua1_0000000824
- By:
- Publication type:
- Article
35
A Compromise Ratio Method with an Application to Water Resources Management: An Intuitionistic Fuzzy Set.
- Published in:
- Water Resources Management, 2013, v. 27, n. 7, p. 2029, doi. 10.1007/s11269-013-0271-x
- By:
- Publication type:
- Article
36
Selecting Agricultural Best Management Practices for Water Conservation and Quality Improvements Using Atanassov's Intuitionistic Fuzzy Sets.
- Published in:
- Water Resources Management, 2010, v. 24, n. 15, p. 4589, doi. 10.1007/s11269-010-9681-1
- By:
- Publication type:
- Article
37
Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective).
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 183, doi. 10.1007/s10992-015-9370-x
- By:
- Publication type:
- Article
38
Replacement in Logic.
- Published in:
- Journal of Philosophical Logic, 2013, v. 42, n. 1, p. 49, doi. 10.1007/s10992-011-9212-4
- By:
- Publication type:
- Article
39
Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox.
- Published in:
- Journal of Philosophical Logic, 2012, v. 41, n. 5, p. 877, doi. 10.1007/s10992-011-9207-1
- By:
- Publication type:
- Article
40
Completeness of S4 for the Lebesgue Measure Algebra.
- Published in:
- Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 287, doi. 10.1007/s10992-010-9161-3
- By:
- Publication type:
- Article
41
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus.
- Published in:
- Journal of Philosophical Logic, 2011, v. 40, n. 1, p. 95, doi. 10.1007/s10992-010-9149-z
- By:
- Publication type:
- Article
42
Normal Modal Substructural Logics with Strong Negation.
- Published in:
- Journal of Philosophical Logic, 2003, v. 32, n. 6, p. 589, doi. 10.1023/B:LOGI.0000003928.44012.57
- By:
- Publication type:
- Article
43
On logics with coimplication.
- Published in:
- Journal of Philosophical Logic, 1998, v. 27, n. 4, p. 353, doi. 10.1023/A:1004218110879
- By:
- Publication type:
- Article
44
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 2, p. 175, doi. 10.1023/A:1004229908345
- By:
- Publication type:
- Article
45
Undecidability and intuitionistic incompleteness.
- Published in:
- Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 559, doi. 10.1007/BF00257386
- By:
- Publication type:
- Article
46
Reflections on `difficult' embeddings.
- Published in:
- Journal of Philosophical Logic, 1995, v. 24, n. 1, p. 71, doi. 10.1007/BF01052731
- By:
- Publication type:
- Article
47
Understanding Risk Through Board Games.
- Published in:
- Mathematics Enthusiast, 2015, v. 12, n. 1-3, p. 38, doi. 10.54870/1551-3440.1333
- By:
- Publication type:
- Article
48
An approach to multiple attribute decision making with combined weight information in interval-valued intuitionistic fuzzy environment.
- Published in:
- Control & Cybernetics, 2012, v. 42, n. 1, p. 97
- By:
- Publication type:
- Article
49
Basic properties of a new class of parametric intuitionistic fuzzy implications.
- Published in:
- Control & Cybernetics, 2011, v. 40, n. 3, p. 793
- By:
- Publication type:
- Article
50
First-order Answer Set Programming as Constructive Proof Search.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 673, doi. 10.1017/S147106841800008X
- By:
- Publication type:
- Article