Works matching DE "GODEL numbers"

Results: 46

Gödel-type solutions in Einstein–Maxwell–scalar field theories.

Published in:

Progress of Theoretical & Experimental Physics: PTEP, 2022, v. 2022, n. 1, p. 1, doi. 10.1093/ptep/ptab154

By:

Ishihara, Hideki;
Matsuno, Satsuki

Publication type:

Article

GENERAL REFERENCE FRAMES AND THEIR ASSOCIATED SPACE MANIFOLDS.

Published in:

International Journal of Geometric Methods in Modern Physics, 2011, v. 8, n. 1, p. 155, doi. 10.1142/S0219887811005051

By:

ARMINJON, MAYEUL;
REIFLER, FRANK

Publication type:

Article

Definable and Contractible Contracts.

Published in:

Econometrica, 2012, v. 80, n. 1, p. 363, doi. 10.3982/ECTA8375

By:

Peters, Michael;
Szentes, Balázs

Publication type:

Article

Proof theory of witnessed Gödel logic: A negative result.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 51, doi. 10.1093/logcom/ext018

By:

BAAZ, MATTHIAS;
CIABATTONI, AGATA

Publication type:

Article

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 3, p. 527, doi. 10.1093/logcom/exu016

By:

BECKMANN, ARNOLD;
PREINING, NORBERT

Publication type:

Article

Computing Minimal Axiomatizations in Gödel Propositional Logic.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 5, p. 791, doi. 10.1093/logcom/exp054

By:

Aguzzoli, Stefano;
D’Antona, Ottavio M.;
Marra, Vincenzo

Publication type:

Article

A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 5, p. 813, doi. 10.1093/logcom/exp055

By:

Avron, Arnon

Publication type:

Article

Implication-based fuzzy ternary subsemigroups in ternary semigroups.

Published in:

Journal of the National Science Foundation of Sri Lanka, 2018, v. 46, n. 3, p. 423, doi. 10.4038/jnsfsr.v46i3.8494

By:

Rehman, Noor

Publication type:

Article

Orthocomplete pseudo MV -algebras.

Published in:

International Journal of General Systems, 2016, v. 45, n. 7/8, p. 889, doi. 10.1080/03081079.2016.1220008

By:

Dvurečenskij, A.;
Zahiri, O.

Publication type:

Article

Uncertainty in chemistry.

Published in:

Nature Chemistry, 2010, v. 2, n. 9, p. 698, doi. 10.1038/nchem.799

By:

Menger, Fredric M.

Publication type:

Article

MINIMAL TRUTH AND INTERPRETABILITY.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 4, p. 799, doi. 10.1017/S1755020309990232

By:

Fischer, Martin

Publication type:

Article

Gödel incompleteness in AF C*-algebras.

Published in:

Forum Mathematicum, 2008, v. 20, n. 6, p. 1071, doi. 10.1515/FORUM.2008.048

By:

Mundici, Daniele;
Tsinakis, Constantine

Publication type:

Article

ON QUANTUM MECHANICAL AUTOMATA, GÖDEL NUMBERS, AND SELF-REFERRING CONSCIOUSNESS.

Published in:

Cosmos & History, 2018, v. 14, n. 1, p. 217

By:

Wolf, Fred Alan

Publication type:

Article

Löb's Theorem Philosophically Interpreted.

Published in:

Philosophical Alternatives Journal / Filosofski Alternativi, 2011, v. 20, n. 4, p. 142

By:

Penchev, Vasil

Publication type:

Article

Research Highlights.

Published in:: Nature Physics, 2009, v. 5, n. 1, p. 9, doi. 10.1038/nphys1165
Publication type:: Article

On the predicate logics of continuous t-norm BL-algebras.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 97, doi. 10.1007/s00153-004-0231-5

By:

Montagna, Franco

Publication type:

Article

Residuated fuzzy logics with an involutive negation.

Published in:

Archive for Mathematical Logic, 2000, v. 39, n. 2, p. 103, doi. 10.1007/s001530050006

By:

Esteva, Francesc;
Godo, Lluís;
Hájek, Petr;
Navara, Mirko

Publication type:

Article

A guided tour of minimal indices and shortest descriptions.

Published in:

Archive for Mathematical Logic, 1998, v. 37, n. 8, p. 521, doi. 10.1007/s001530050112

By:

Schaefer, Marcus

Publication type:

Article

CAUSAL TRANSFORMATION OF GÖDEL-TYPE SPACETIMES IN CONFORMAL FIELD THEORY.

Published in:

Modern Physics Letters A, 2010, v. 25, n. 34, p. 2873, doi. 10.1142/S0217732310034213

By:

GUSIN, PAWEL

Publication type:

Article

PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1229, doi. 10.1017/jsl.2018.27

By:

KURAHASHI, TAISHI

Publication type:

Article

UNIVERSAL ROSSER PREDICATES.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 292, doi. 10.1017/jsl.2016.19

By:

Kikuchi, Makoto;
Kurahashi, Taishi

Publication type:

Article

RELATION BETWEEN (FUZZY) GÖDEL IDEALS AND (FUZZY) BOOLEAN IDEALS IN BL-ALGEBRAS.

Published in:

Discussiones Mathematicae: General Algebra & Applications, 2016, v. 36, n. 1, p. 45, doi. 10.7151/dmgaa.1251

By:

PAAD, AKBAR

Publication type:

Article

A mathematically derived definitional/semantical theory of truth.

Published in:

Nonlinear Studies, 2018, v. 25, n. 1, p. 173

By:

Heikkilä, S.

Publication type:

Article

Deflationism, Arithmetic, and the Argument from Conservativeness.

Published in:

Mind (0026-4423), 2017, v. 126, n. 502, p. 429, doi. 10.1093/mind/fzv182

By:

WAXMAN, DANIEL

Publication type:

Article

Deflationism and the Gödel Phenomena.

Published in:

Mind (0026-4423), 2002, v. 111, n. 443, p. 551, doi. 10.1093/mind/111.443.551

By:

Tennant, Neil

Publication type:

Article

Predicative Frege Arithmetic and ‘Everyday’ Mathematics†.

Published in:

Philosophia Mathematica, 2014, v. 22, n. 3, p. 279, doi. 10.1093/philmat/nkt045

By:

Heck, Richard G.

Publication type:

Article

On Turing Machines Knowing Their Own Gödel-Sentences<sup>†</sup>.

Published in:

Philosophia Mathematica, 2001, v. 9, n. 1, p. 72, doi. 10.1093/philmat/9.1.72

By:

TENNANT, NEIL

Publication type:

Article

Godel's Introduction to Logic in 1939.

Published in:

History & Philosophy of Logic, 2009, v. 30, n. 1, p. 69, doi. 10.1080/01445340802265000

By:

Cassou-Nogues, P.

Publication type:

Article

Microscopic self-organization and self-referential systems: A progress report.

Published in:

International Journal of Quantum Chemistry, 2009, v. 109, n. 14, p. 3500, doi. 10.1002/qua.22377

By:

Brändas, Erkki J.

Publication type:

Article

On the hidden parameter in quantum and classical physics.

Published in:

Mathematical Notes, 2017, v. 102, n. 5/6, p. 890, doi. 10.1134/S000143461711030X

By:

Maslov, V.

Publication type:

Article

On hyperarithmetical realizability.

Published in:

Mathematical Notes, 2015, v. 98, n. 5/6, p. 778, doi. 10.1134/S0001434615110073

By:

Konovalov, A.;
Plisko, V.

Publication type:

Article

On the computational content of the Bolzano-Weierstraß Principle.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 5, p. 508, doi. 10.1002/malq.200910106

By:

Safarik, Pavol;
Kohlenbach, Ulrich

Publication type:

Article

On witnessed models in fuzzy logic III – witnessed Gödel logics.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 2, p. 171, doi. 10.1002/malq.200810047

By:

Häjek, Petr

Publication type:

Article

Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely.

Published in:

Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 95, doi. 10.1002/malq.19940400113

By:

Kotlarski, Henryk;
Piekart, Bożena

Publication type:

Article

Measure independent Gödel speed-ups and the relative difficulty of recognizing sets.

Published in:

Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 384, doi. 10.1002/malq.19930390142

By:

Solomon, Martin K.

Publication type:

Article

A variant of the Notion of Semicreative set.

Published in:

Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 33, doi. 10.1002/malq.19930390106

By:

Rolletschek, Heinrich

Publication type:

Article

Some results on bounded truth-table degrees.

Published in:

Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 263, doi. 10.1002/malq.19900360311

By:

Ditchev, Angel V.

Publication type:

Article

Relativized Gödel speed-up and the degree of succinctness of representations.

Published in:

Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 185, doi. 10.1002/malq.19900360302

By:

Solomon, Martin K.

Publication type:

Article

Representation of One-One Degrees by n-Cylindrical Decision Problems.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 6, p. 481, doi. 10.1002/malq.19880340602

By:

Thuraisingham, M. B.

Publication type:

Article

Two Impredicative Theories of Properties and Sets.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 403, doi. 10.1002/malq.19880340505

By:

Cantini, Andrea

Publication type:

Article

Numeration Models of λβ-Calculus.

Published in:

Mathematical Logic Quarterly, 1986, v. 32, n. 25-30, p. 409, doi. 10.1002/malq.19860322506

By:

Kanda, Akira

Publication type:

Article

The Recursively Saturated Part of Models of Peano Arithmetic.

Published in:

Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 365, doi. 10.1002/malq.19860321910

By:

Kotlarski, Henryk

Publication type:

Article

Numeration Models of λ-Calculus.

Published in:

Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 209, doi. 10.1002/malq.19850311402

By:

Kanda, Akira

Publication type:

Article

Gödel's Proof.

Published in:

Resonance: Journal of Science Education, 2007, v. 12, n. 5, p. 71, doi. 10.1007/s12045-007-0052-z

By:

Srivastava, S. M.

Publication type:

Article

Fuzzy Systems Based on Universal Triple I Method and Their Response Functions.

Published in:

International Journal of Information Technology & Decision Making, 2017, v. 16, n. 2, p. 443, doi. 10.1142/S0219622014500746

By:

Tang, Yiming;
Ren, Fuji

Publication type:

Article

Structures Computable in Polynomial Time. II.

Published in:

Algebra & Logic, 2018, v. 56, n. 6, p. 429, doi. 10.1007/s10469-018-9465-x

By:

Alaev, P. E.

Publication type:

Article