Works matching Intuitionistic mathematics

Results: 1142

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:

Ardeshir, Mohammad;
Ramezanian, Rasoul

Publication type:

Article

Negation in Negationless Intuitionistic Mathematics.

Published in:

Philosophia Mathematica, 2023, v. 31, n. 1, p. 29, doi. 10.1093/philmat/nkac026

By:

Ferguson, Thomas Macaulay

Publication type:

Article

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:

Gisin, Nicolas

Publication type:

Article

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:

Veldman, Wim

Publication type:

Article

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:

KUYPER, RUTGER

Publication type:

Article

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:

Bickford, Mark

Publication type:

Article

A TWO-PART DEFENSE OF INTUITIONISTIC MATHEMATICS.

Published in:

Stance (1943-1880), 2021, v. 14, p. 26, doi. 10.5840/stance2021142

By:

ELLIOTT, SAMUEL R.

Publication type:

Article

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:

Veldman, Wim

Publication type:

Article

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:

Veldman, Wim

Publication type:

Article

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:

Fujiwara, Makoto;
Kawai, Tatsuji

Publication type:

Article

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:

Saranya, Vijaya Kumar;
Murugan, Shanmuga Sundari

Publication type:

Article

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:

VELDMAN, WIM

Publication type:

Article

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:

Stecher, Jack;
Atten, Mark

Publication type:

Article

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:

Koss, Michael

Publication type:

Article

Temporal Direction, Intuitionism and Physics.

Published in:

Entropy, 2024, v. 26, n. 7, p. 594, doi. 10.3390/e26070594

By:

Dolev, Yuval

Publication type:

Article

The Coherence of Antirealism.

Published in:

Mind (0026-4423), 2006, v. 115, n. 460, p. 947, doi. 10.1093/mind/fzl947

By:

McCarty, Charles

Publication type:

Article

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:

Waaldijk, Frank

Publication type:

Article

Brouwerian Intuitionism*.

Published in:

Mind (0026-4423), 1990, v. 99, n. 396, p. 501, doi. 10.1093/mind/XCIX.396.501

By:

DETLEFSEN, MICHAEL

Publication type:

Article

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:

Abhishekh;
Kumar, Sanjay

Publication type:

Article

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:

Shapiro, Stewart;
McCarty, Charles;
Rathjen, Michael

Publication type:

Article

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:

LOEB, IRIS

Publication type:

Article

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:

Gabbay, DM

Publication type:

Article

L. E. J. BROUWER AND KARL POPPER: TWO PERSPECTIVES ON MATHEMATICS.

Published in:

Cosmos & History, 2015, v. 11, n. 1, p. 239

By:

Naraniecki, Alexander

Publication type:

Article

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:

Brauer, Ethan

Publication type:

Article

Carl J. Posy.* Mathematical Intuitionism.

Published in:

Philosophia Mathematica, 2022, v. 30, n. 1, p. 111, doi. 10.1093/philmat/nkab024

By:

Cook, Roy T

Publication type:

Article

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:

AKÇAGÜNER, KORAY

Publication type:

Article

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:

Crane, Charles B.

Publication type:

Article

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:

KACHAPOVA, FARIDA

Publication type:

Article

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:

Bridges, Douglas S.

Publication type:

Article

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:

Español González, Luis

Publication type:

Article

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:

Mehra, Seema;
Singh, Manjeet

Publication type:

Article

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:

Lie Ma;
Jingjing Yu

Publication type:

Article

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:

Dixon, James A.;
Moore, Colleen F.

Publication type:

Article

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:

ÇELIK, YILDIRAY

Publication type:

Article

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:

Hashemi, Hassan;
Bazargan, Jalal;
Mousavi, S.

Publication type:

Article

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:

Hernandez, E.;
Uddameri, Venkatesh

Publication type:

Article

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:

Zach, Richard

Publication type:

Article

Replacement in Logic.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 1, p. 49, doi. 10.1007/s10992-011-9212-4

By:

Humberstone, Lloyd

Publication type:

Article

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:

Proietti, Carlo

Publication type:

Article

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:

Lando, Tamar

Publication type:

Article

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:

Schroeder-Heister, Peter

Publication type:

Article

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:

Kamide, Norihiro

Publication type:

Article

On logics with coimplication.

Published in:

Journal of Philosophical Logic, 1998, v. 27, n. 4, p. 353, doi. 10.1023/A:1004218110879

By:

Wolter, Frank

Publication type:

Article

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:

Yashin, A.D.

Publication type:

Article

Undecidability and intuitionistic incompleteness.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 559, doi. 10.1007/BF00257386

By:

McCarty, D.C.

Publication type:

Article

Reflections on `difficult' embeddings.

Published in:

Journal of Philosophical Logic, 1995, v. 24, n. 1, p. 71, doi. 10.1007/BF01052731

By:

Prijatelj, Andreja

Publication type:

Article

Understanding Risk Through Board Games.

Published in:

Mathematics Enthusiast, 2015, v. 12, n. 1-3, p. 38, doi. 10.54870/1551-3440.1333

By:

Hertel, Joshua T.

Publication type:

Article

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:

Guiwu Wei;
Xiaofei Zhao

Publication type:

Article

Basic properties of a new class of parametric intuitionistic fuzzy implications.

Published in:

Control & Cybernetics, 2011, v. 40, n. 3, p. 793

By:

Dworniczak, Piotr

Publication type:

Article

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:

SCHUBERT, ALEKSY;
URZYCZYN, PAWEŁ;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article