Works matching DE "METAMATHEMATICS"
Results: 54
INTERPRETATIVE ERSCHLOSSENHEIT DER ENDLICHEN EXISTENZ UND MATHEMATISCHE UNENDLICHKEIT. ZU OSKAR BECKERS PHÄNOMENOLOGIE DES TRANSFINITEN.
- Published in:
- Studia Phaenomenologica, 2009, v. 9, p. 495, doi. 10.7761/SP.9.495
- By:
- Publication type:
- Article
Reflective inquiry and 'The Fate of Reason'.
- Published in:
- Synthese, 2014, v. 191, n. 18, p. 4253, doi. 10.1007/s11229-014-0533-z
- By:
- Publication type:
- Article
Interpolation in non-classical logics.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 421, doi. 10.1007/s11229-008-9359-x
- By:
- Publication type:
- Article
Some remarks on the bearing of model theory on the theory of theories.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 359, doi. 10.1007/s11229-008-9355-1
- By:
- Publication type:
- Article
The Craig Interpolation Theorem in abstract model theory.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 401, doi. 10.1007/s11229-008-9357-z
- Publication type:
- Article
Letter Games: a metamathematical taster.
- Published in:
- Mathematical Gazette, 2016, v. 100, n. 549, p. 442, doi. 10.1017/mag.2016.109
- By:
- Publication type:
- Article
Update to “A Survey of Abstract Algebraic Logic”.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 125, doi. 10.1007/s11225-009-9169-2
- By:
- Publication type:
- Article
Metamathematics and the Philosophical Tradition.
- Published in:
- 2020
- By:
- Publication type:
- Book Review
Deleuze's Theory of Dialectical Ideas: The Influence of Lautman and Heidegger.
- Published in:
- Deleuze & Guattari Studies, 2019, v. 13, n. 1, p. 19, doi. 10.3366/dlgs.2019.0340
- By:
- Publication type:
- Article
ON THESES WITHOUT ITERATED MODALITIES OF MODAL LOGICS BETWEEN C1 AND S5. PART 1.
- Published in:
- Bulletin of the Section of Logic, 2017, v. 46, n. 1/2, p. 111, doi. 10.18778/0138-0680.46.1.2.09
- By:
- Publication type:
- Article
The Metamathematics of Putnam's Model-Theoretic Arguments.
- Published in:
- Erkenntnis, 2011, v. 74, n. 3, p. 321, doi. 10.1007/s10670-011-9270-6
- By:
- Publication type:
- Article
The Beautiful Art of Mathematics.
- Published in:
- Philosophia Mathematica, 2018, v. 26, n. 2, p. 234, doi. 10.1093/philmat/nkx006
- By:
- Publication type:
- Article
Craig SmoryŃski. Adventures in Formalism. London: College Publications, 2012. ISBN 978-1-84890-060-8. Pp. xii + 606.
- Published in:
- 2012
- By:
- Publication type:
- Book Review
A note on θ( g, g′)-continuity in generalized topological spaces.
- Published in:
- Acta Mathematica Hungarica, 2009, v. 125, n. 4, p. 387, doi. 10.1007/s10474-009-9075-0
- By:
- Publication type:
- Article
Transfer theorems for extensions of the paraconsistent Nelson logic.
- Published in:
- Algebra & Logic, 2006, v. 45, n. 4, p. 232, doi. 10.1007/s10469-006-0021-8
- By:
- Publication type:
- Article
What’s Wrong with Tonk(?).
- Published in:
- Journal of Philosophical Logic, 2005, v. 34, n. 2, p. 217, doi. 10.1007/s10992-004-7805-x
- By:
- Publication type:
- Article
Negationless intuitionism.
- Published in:
- Journal of Philosophical Logic, 1998, v. 27, n. 2, p. 165, doi. 10.1023/A:1004278211254
- By:
- Publication type:
- Article
Quantifying over events in probability logic: an introduction.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 8, p. 1581, doi. 10.1017/S0960129516000189
- By:
- Publication type:
- Article
MILESTONES FOR AUTOMATED REASONING WITH OTTER.
- Published in:
- International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 3, doi. 10.1142/S0218213006002540
- By:
- Publication type:
- Article
The Theory of Finite Models without Equal Sign.
- Published in:
- Acta Mathematica Sinica, 2006, v. 22, n. 3, p. 865, doi. 10.1007/s10114-005-0537-1
- By:
- Publication type:
- Article
A Remark on Independence Results for Sharply Bounded Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1998, v. 44, n. 4, p. 568, doi. 10.1002/malq.19980440415
- By:
- Publication type:
- Article
'A NEW KIND OF SCIENCE': STEPHEN WOLFRAM'S PARADIGMS FOR A NEW BEGINNING OF MATHEMATICS.
- Published in:
- Annals (Constanţa Maritime University), 2013, v. 14, n. 20, p. 165
- By:
- Publication type:
- Article
E.L. Post and the Development of Logic.
- Published in:
- Poznan Studies in the Philosophy of the Sciences & the Humanities, 2010, v. 98, n. 1, p. 183
- Publication type:
- Article
Sufficient conditions for the invertibility of adapted perturbations of identity on the Wiener space.
- Published in:
- Probability Theory & Related Fields, 2007, v. 139, n. 1/2, p. 207, doi. 10.1007/s00440-006-0044-z
- By:
- Publication type:
- Article
Towards metamathematics of weak arithmetics over fuzzy logic.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 3, p. 467, doi. 10.1093/jigpal/jzp091
- By:
- Publication type:
- Article
Semiotic impediments to formalizations.
- Published in:
- Semiotica, 1998, v. 120, n. 1/2, p. 109, doi. 10.1515/semi.1998.120.1-2.109
- By:
- Publication type:
- Article
On Logics and Semantics for Interpretability.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Five papers on reverse mathematics and Ramsey-theoretic principles.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 4, p. 526, doi. 10.1017/bsl.2016.32
- By:
- Publication type:
- Article
THE PARADOX OF GÖDEL'S NUMBERING AND THE PHILOSOPHY OF MODERN METAMATHEMATICS.
- Published in:
- Wisdom, 2017, v. 9, n. 2, p. 18, doi. 10.24234/wisdom.v9i2.185
- By:
- Publication type:
- Article
Conversion of HOL Light proofs into Metamath.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 187
- By:
- Publication type:
- Article
SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 2, p. 273, doi. 10.1017/S1755020309990414
- By:
- Publication type:
- Article
Words in Contexts: Fregean Elucidations.
- Published in:
- Linguistics & Philosophy, 2000, v. 23, n. 6, p. 621, doi. 10.1023/A:1005666826560
- By:
- Publication type:
- Article
Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.
- Published in:
- 2015
- By:
- Publication type:
- Essay
‘Metamathematics’ in Transition.
- Published in:
- History & Philosophy of Logic, 2011, v. 32, n. 4, p. 333, doi. 10.1080/01445340.2011.576855
- By:
- Publication type:
- Article
Universics: a Theory of Universes of Discourse for Metamathematics and Foundations.
- Published in:
- Computer Science Journal of Moldova, 2016, v. 24, n. 1, p. 3
- By:
- Publication type:
- Article
AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 747, doi. 10.1142/S0129054109006851
- By:
- Publication type:
- Article
On Cluster Points, Continuity, and Boundedness Associated with the Generalized Statistical Convergence in Probabilistic Normed Spaces.
- Published in:
- Abstract & Applied Analysis, 2014, p. 1, doi. 10.1155/2014/909364
- By:
- Publication type:
- Article
Extensions of the Finitist Point of View.
- Published in:
- History & Philosophy of Logic, 2001, v. 22, n. 3, p. 135, doi. 10.1080/01445340210154295
- By:
- Publication type:
- Article
Some current problems in metamathematics.
- Published in:
- History & Philosophy of Logic, 1995, v. 16, n. 2, p. 159, doi. 10.1080/01445349508837247
- By:
- Publication type:
- Article
The Forced Autonomy of Mathematics Teachers.
- Published in:
- Educational Studies in Mathematics, 2004, v. 55, n. 1-3, p. 227, doi. 10.1023/B:EDUC.0000017670.35680.88
- By:
- Publication type:
- Article
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 649
- By:
- Publication type:
- Article
Adding Intensional Machinery to Hybrid Logic.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 631
- By:
- Publication type:
- Article
Kripke Resource Models of a Dependently‐typed, Bunched λ‐calculus.
- Published in:
- Journal of Logic & Computation, 2002, v. 12, n. 6, p. 1061, doi. 10.1093/logcom/12.6.1061
- By:
- Publication type:
- Article
Preferential Logics are X -logics.
- Published in:
- Journal of Logic & Computation, 2001, v. 11, n. 1, p. 71, doi. 10.1093/logcom/11.1.71
- By:
- Publication type:
- Article
SOME JUMP-LIKE OPERATIONS IN β-RECURSION THEORY.
- Published in:
- Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 57, doi. 10.2178/jsl.7801040
- By:
- Publication type:
- Article
Metamathematics and the Philosophical Tradition, by William Boos, ed. Florence S. Boos. Berlin: De Gruyter. 2018.
- Published in:
- 2020
- By:
- Publication type:
- Book Review
Metamathematics for Systems Design.
- Published in:
- New Generation Computing, 2017, v. 35, n. 3, p. 271, doi. 10.1007/s00354-017-0023-1
- By:
- Publication type:
- Article
On Reliability of the Meta-Mathematical Notions Defined by Gödel's Coding Method.
- Published in:
- Teorema, 2016, v. 35, n. 1, p. 5
- By:
- Publication type:
- Article
Fragments of Kripke-Platek set theory and the metamathematics of $$\alpha $$ -recursion theory.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 899, doi. 10.1007/s00153-016-0501-z
- By:
- Publication type:
- Article
Completeness theorem for topological class models.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 1, p. 1, doi. 10.1007/s00153-006-0014-2
- By:
- Publication type:
- Article