4152 results in Numerical analysis and computational science
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 650-654
- Print publication:
- June 2023
-
- Article
- Export citation
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 164-187
- Print publication:
- March 2023
-
- Article
- Export citation
CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 740-787
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
RSL volume 14 issue 4 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 21 December 2021, pp. b1-b5
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
RSL volume 14 issue 4 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 21 December 2021, pp. f1-f4
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
PREDICATIVISM AS A FORM OF POTENTIALISM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 23 November 2021, pp. 1-32
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DYNAMIC HYPERINTENSIONAL BELIEF REVISION—ERRATUM
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 12 November 2021, p. 1088
- Print publication:
- December 2021
-
- Article
-
- You have access
- HTML
- Export citation
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 02 November 2021, p. 1089
- Print publication:
- December 2021
-
- Article
-
- You have access
- HTML
- Export citation
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 27 September 2021, pp. 509-528
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
AGAINST CUMULATIVE TYPE THEORY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 September 2021, pp. 907-949
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
RSL volume 14 issue 3 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 03 November 2021, pp. f1-f4
- Print publication:
- September 2021
-
- Article
-
- You have access
- Export citation
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 September 2021, pp. 385-424
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
RSL volume 14 issue 3 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 03 November 2021, pp. b1-b2
- Print publication:
- September 2021
-
- Article
-
- You have access
- Export citation
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 31 August 2021, pp. 311-333
- Print publication:
- June 2022
-
- Article
- Export citation
OPERANDS AND INSTANCES
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 31 August 2021, pp. 188-209
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 31 August 2021, pp. 788-812
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FRACTIONAL-VALUED MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 31 August 2021, pp. 1033-1052
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 08 July 2021, pp. 529-552
- Print publication:
- June 2023
-
- Article
- Export citation
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 08 July 2021, pp. 1023-1032
- Print publication:
- December 2022
-
- Article
- Export citation
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 02 July 2021, pp. 624-644
- Print publication:
- September 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation