4163 results in Numerical analysis and computational science
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
NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 02 July 2021, pp. 607-623
- Print publication:
- September 2022
-
- Article
- Export citation
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 369-384
- Print publication:
- June 2023
-
- Article
- Export citation
IMPROVING STRONG NEGATION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 951-977
- Print publication:
- September 2023
-
- Article
- Export citation
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 July 2021, pp. 880-906
- Print publication:
- December 2022
-
- Article
- Export citation
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 624-649
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 672-699
- Print publication:
- September 2023
-
- Article
- Export citation
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 1080-1109
- Print publication:
- December 2023
-
- Article
- Export citation
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 02 July 2021, pp. 771-806
- Print publication:
- September 2022
-
- Article
- Export citation
THE COPERNICAN MULTIVERSE OF SETS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 14 June 2021, pp. 1033-1069
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation