Works matching DE "METAMATHEMATICS"

Results: 55

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:

Odintsov, S.

Publication type:

Article

Metamathematics and the Philosophical Tradition.

Published in:

2020

By:

Pérez-Ilzarbe, Paloma

Publication type:

Book Review

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:

SPERANSKI, STANISLAV O.

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:

IOAN, HALALAE

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:

WOS, LARRY

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:

Johannsen, Jan

Publication type:

Article

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:

Min, W.

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:

Cook, Roy

Publication type:

Article

Negationless intuitionism.

Published in:

Journal of Philosophical Logic, 1998, v. 27, n. 2, p. 165, doi. 10.1023/A:1004278211254

By:

Martino, Enrico

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:

DJIDJIAN, Robert

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:

Hájek, Petr

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:

YIH-KUEN TSAY;
BOW-YAW WANG

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:

Button, Tim

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:

Lipschutz-Yevick, Miriam

Publication type:

Article

On Logics and Semantics for Interpretability.

Published in:

2022

By:

Mikec, Luka

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:

Hirschfeldt, Denis R.

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:

J. Font;
R. Jansana;
D. Pigozzi

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:

Siavashi, Ehsan

Publication type:

Article

Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.

Published in:

2015

By:

Corcoran, John;
Masoud, Hassan

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:

Wille, Matthias

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:

Schirn, Matthias;
Niebergall, Karl-Georg

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:

Tarski, Alfred;
Tarski, Jan

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:

Rieger, Adam

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:

Jones, Robert

Publication type:

Book Review

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:

HÁJEK, PETR

Publication type:

Article

The Role of Metaforces in Cultural Motion.

Published in:

Signs & Society, 2018, v. 6, n. 1, p. 256, doi. 10.1086/694550

By:

Urban, Greg

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:

BAILEY, COLIN G.

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:

Rott, Hans

Publication type:

Article

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:

Bahoh, James

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:

Skott, Jeppe

Publication type:

Article

The Making of Peacocks Treatise on Algebra: A Case of Creative Indecision.

Published in:

Archive for History of Exact Sciences, 1999, v. 54, n. 2, p. 137, doi. 10.1007/s004070050037

By:

Fisch, Menachem

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:

Pietruszczak, Andrzej

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:

Boos, William

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:

William Demopoulos

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:

Giovanna D’Agostino

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

Metamathematics for Systems Design.

Published in:

New Generation Computing, 2017, v. 35, n. 3, p. 271, doi. 10.1007/s00354-017-0023-1

By:

Hasuo, Ichiro

Publication type:

Article

Determination of the classification characteristics of random processes.

Published in:

Measurement Techniques, 2008, v. 51, n. 4, p. 351, doi. 10.1007/s11018-008-9044-y

By:

A. Prokhorenkov;
N. Kachala

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:

Drugus, Ioachim

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:

Paseau, A. C.

Publication type:

Article

From Hypocomputation to Hypercomputation.

Published in:

International Journal of Unconventional Computing, 2009, v. 5, n. 3/4, p. 339

By:

Love, David

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:

Friedman, Sy-David;
Li, Wei;
Wong, Tin

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:

Djordjevic, Radosav;
Ikodinović, Nebojša;
Mijajlović, Žarko

Publication type:

Article

Conversion of HOL Light proofs into Metamath.

Published in:

Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 187

By:

CARNEIRO, MARIO M.

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:

Li Bo Luo

Publication type:

Article

Metamathematics and the Philosophical Tradition, by William Boos, ed. Florence S. Boos. Berlin: De Gruyter. 2018.

Published in:

2020

By:

Patton, Lydia

Publication type:

Book Review

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:

Üstünel, Ali Süleyman;
Zakai, Moshe

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:

BAAZ, MATTHIAS;
PREINING, NORBERT

Publication type:

Article

Adding Intensional Machinery to Hybrid Logic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 631

By:

BRAÜNER, TORBEN

Publication type:

Article