Works matching DE "GODEL numbers"
Results: 46
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Löb's Theorem Philosophically Interpreted.
- Published in:
- Philosophical Alternatives Journal / Filosofski Alternativi, 2011, v. 20, n. 4, p. 142
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Deflationism, Arithmetic, and the Argument from Conservativeness.
- Published in:
- Mind, 2017, v. 126, n. 502, p. 429, doi. 10.1093/mind/fzv182
- By:
- Publication type:
- Article
Deflationism and the Gödel Phenomena.
- Published in:
- Mind, 2002, v. 111, n. 443, p. 551, doi. 10.1093/mind/111.443.551
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Research Highlights.
- Published in:
- Nature Physics, 2009, v. 5, n. 1, p. 9, doi. 10.1038/nphys1165
- Publication type:
- Article
Definable and Contractible Contracts.
- Published in:
- Econometrica, 2012, v. 80, n. 1, p. 363, doi. 10.3982/ECTA8375
- By:
- 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:
- 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:
- Publication type:
- Article
A mathematically derived definitional/semantical theory of truth.
- Published in:
- Nonlinear Studies, 2018, v. 25, n. 1, p. 173
- By:
- 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:
- Publication type:
- Article
On hyperarithmetical realizability.
- Published in:
- Mathematical Notes, 2015, v. 98, n. 5/6, p. 778, doi. 10.1134/S0001434615110073
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- Publication type:
- Article
Uncertainty in chemistry.
- Published in:
- Nature Chemistry, 2010, v. 2, n. 9, p. 698, doi. 10.1038/nchem.799
- By:
- Publication type:
- Article