STRONG NEGATION IN THE THEORY OF COMPUTABLE FUNCTIONALS TCF.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 2, p. 1, doi. 10.46298/LMCS-21(21)2025
- By:
- Publication type:
- Article
Works matching DE "CONSTRUCTIVE mathematics"
Results: 441
1
2
An Indian solution to ‘incompleteness’.
- Published in:
- AI & Society, 2009, v. 24, n. 4, p. 351, doi. 10.1007/s00146-009-0209-2
- By:
- Publication type:
- Article
3
On mind & Turingâs machines.
- Published in:
- Natural Computing, 2007, v. 6, n. 2, p. 187, doi. 10.1007/s11047-006-9021-9
- By:
- Publication type:
- Article
4
Dynamic models of conflicts. II. Equilibria.
- Published in:
- Automation & Remote Control, 2014, v. 75, n. 12, p. 2135, doi. 10.1134/S0005117914120054
- By:
- Publication type:
- Article
5
Basic notions of (constructive) semigroups with apartness.
- Published in:
- Semigroup Forum, 2016, v. 92, n. 3, p. 659, doi. 10.1007/s00233-016-9776-y
- By:
- Publication type:
- Article
6
GLEASON'S THEOREM HAS A CONSTRUCTIVE PROOF.
- Published in:
- Journal of Philosophical Logic, 2000, v. 29, n. 4, p. 425, doi. 10.1023/A:1004791723301
- By:
- Publication type:
- Article
7
Can constructive mathematics be applied in physics?
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 5, p. 439, doi. 10.1023/A:1004420413391
- By:
- Publication type:
- Article
8
A constructive formulation of Gleason's Theorem.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 6, p. 662, doi. 10.1023/A:1004275113665
- By:
- Publication type:
- Article
9
Constructive mathematics and unbounded operators--a reply to Hellman.
- Published in:
- Journal of Philosophical Logic, 1995, v. 24, n. 5, p. 549, doi. 10.1007/BF01052602
- By:
- Publication type:
- Article
10
درجة اتساق معتقدات معلمي الرياضيات نحو التعلم البنائي وممارستهم لمهاراته.
- Published in:
- Misan Journal of Academic Studies, 2024, v. 23, n. 51, p. 390, doi. 10.54633/2333-023-051-029
- By:
- Publication type:
- Article
11
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
12
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
13
Instruction sequence processing operators.
- Published in:
- Acta Informatica, 2012, v. 49, n. 3, p. 139, doi. 10.1007/s00236-012-0154-2
- By:
- Publication type:
- Article
14
INDUCTIVE COMPUTATIONS ON GRAPHS DEFINED BY CLIQUE-WIDTH EXPRESSIONS.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 3, p. 625, doi. 10.1051/ita/2009010
- By:
- Publication type:
- Article
15
Chapter Three: Axioms, Intuition and Construction.
- Published in:
- Fichte -- Studien -- Supplementa, 2012, n. 29, p. 121
- By:
- Publication type:
- Article
16
Some extended Tauberian theorems for (A)<sup>(k )</sup> (C,α ) summability method.
- Published in:
- Acta Scientiarum: Technology, 2014, v. 36, n. 4, p. 679, doi. 10.4025/actascitechnol.v36i4.16605
- By:
- Publication type:
- Article
17
An online pruning strategy for supervised ARTMAP-based neural networks.
- Published in:
- Neural Computing & Applications, 2009, v. 18, n. 4, p. 387, doi. 10.1007/s00521-008-0191-5
- By:
- Publication type:
- Article
18
THE LATTICE OF REGULAR COEQUALITIES.
- Published in:
- Miskolc Mathematical Notes, 2010, v. 11, n. 2, p. 175, doi. 10.18514/MMN.2010.187
- By:
- Publication type:
- Article
19
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
20
Sraffa's mathematical economics: a constructive interpretation.
- Published in:
- Journal of Economic Methodology, 2008, v. 15, n. 4, p. 325, doi. 10.1080/13501780802112858
- By:
- Publication type:
- Article
21
Various Notions about Constructive Brouwer's Fixed Point Theorem.
- Published in:
- IAENG International Journal of Applied Mathematics, 2012, v. 42, n. 3, p. 152
- By:
- Publication type:
- Article
22
Heuristic Algorithms For Scheduling Jobs On Identical Parallel Machines Via Measures Of Spread.
- Published in:
- IAENG International Journal of Applied Mathematics, 2009, v. 39, n. 2, p. 100
- By:
- Publication type:
- Article
23
Constructive Analysis of Intensional Phenomena in Natural Language.
- Published in:
- Engineering Letters, 2007, v. 15, n. 2, p. 296
- By:
- Publication type:
- Article
24
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
25
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
26
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
27
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
28
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
29
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
30
Domains of <MATH>t</MATH>-Functions.
- Published in:
- Mathematical Notes, 2003, v. 73, n. 3/4, p. 536, doi. 10.1023/A:1023211321787
- By:
- Publication type:
- Article
31
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
32
THE THIRD ISOMORPHISM THEOREM FOR IMPLICATIVE SEMIGROUP WITH APARTNESS.
- Published in:
- Bulletin of International Mathematical Virtual Institute, 2021, v. 11, n. 3, p. 443, doi. 10.7251/BIMVI2103443R
- By:
- Publication type:
- Article
33
ON THE FIRST BANHATTI-SOMBOR INDEX.
- Published in:
- Bulletin of International Mathematical Virtual Institute, 2021, v. 11, n. 1, p. 53, doi. 10.7251/JIMVI2101053Z
- By:
- Publication type:
- Article
34
UP-ALGEBRA WITH APARTNESS.
- Published in:
- Bulletin of International Mathematical Virtual Institute, 2021, v. 11, n. 1, p. 17, doi. 10.7251/JIMVI2101017R
- By:
- Publication type:
- Article
35
ON FILTERS IN UP-ALGEBRAS, A REVIEW AND SOME NEW REFLECTIONS.
- Published in:
- Bulletin of International Mathematical Virtual Institute, 2021, v. 11, n. 1, p. 35, doi. 10.7251/JIMVI2101035J
- By:
- Publication type:
- Article
36
Description of quantum systems by the collective behavior method.
- Published in:
- Optics & Spectroscopy, 2010, v. 108, n. 2, p. 305, doi. 10.1134/S0030400X10020219
- By:
- Publication type:
- Article
37
A constructive proof by elementary transformations of Roth's removal theorems in the theory of....
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2000, v. 31, n. 3, p. 425, doi. 10.1080/002073900287183
- By:
- Publication type:
- Article
38
The provably total functions of basic arithmetic and its extensions: The provably total functions of basic arithmetic...: M. Ardeshir et al.
- Published in:
- Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 205, doi. 10.1007/s00153-024-00939-0
- By:
- Publication type:
- Article
39
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 399, doi. 10.1007/s00153-021-00795-2
- By:
- Publication type:
- Article
40
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
41
Finite sets and infinite sets in weak intuitionistic arithmetic.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 5/6, p. 607, doi. 10.1007/s00153-019-00704-8
- By:
- Publication type:
- Article
42
Cut elimination for entailment relations.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 5/6, p. 605, doi. 10.1007/s00153-018-0653-0
- By:
- Publication type:
- Article
43
A continuity principle equivalent to the monotone Π10 fan theorem.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 443, doi. 10.1007/s00153-018-0644-1
- By:
- Publication type:
- Article
44
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 873, doi. 10.1007/s00153-018-0612-9
- By:
- Publication type:
- Article
45
Constructions of categories of setoids from proof-irrelevant families.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 51, doi. 10.1007/s00153-016-0514-7
- By:
- Publication type:
- Article
46
A short proof of Glivenko theorems for intermediate predicate logics.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 823, doi. 10.1007/s00153-013-0346-7
- By:
- Publication type:
- Article
47
Reclassifying the antithesis of Specker's theorem.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 687, doi. 10.1007/s00153-012-0292-9
- By:
- Publication type:
- Article
48
Some axioms for constructive analysis.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 5/6, p. 443, doi. 10.1007/s00153-012-0273-z
- By:
- Publication type:
- Article
49
Compactness notions for an apartness space.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 5/6, p. 517, doi. 10.1007/s00153-012-0279-6
- By:
- Publication type:
- Article
50
Relatively computably enumerable reals.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 3/4, p. 361, doi. 10.1007/s00153-010-0219-2
- By:
- Publication type:
- Article