4161 results in Numerical analysis and computational science
CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 21 July 2020, pp. 910-929
- Print publication:
- December 2021
-
- Article
- Export citation
EPISTEMIC MULTILATERAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 21 July 2020, pp. 505-536
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CLASSICAL COUNTERPOSSIBLES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 21 July 2020, pp. 259-275
- Print publication:
- March 2022
-
- Article
- Export citation
DYNAMIC HYPERINTENSIONAL BELIEF REVISION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 21 July 2020, pp. 766-811
- Print publication:
- September 2021
-
- Article
- Export citation
THE POWER OF NAIVE TRUTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 06 July 2020, pp. 225-258
- Print publication:
- March 2022
-
- Article
- Export citation
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 02 July 2020, pp. 687-727
- Print publication:
- September 2021
-
- Article
- Export citation
A NOTE ON THE SEQUENT CALCULI
${{{\bf G3}[{\bf mic}]}}^{=}$
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 02 July 2020, pp. 537-551
- Print publication:
- June 2022
-
- Article
- Export citation
A BRIDGE BETWEEN Q-WORLDS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 02 July 2020, pp. 447-486
- Print publication:
- June 2021
-
- Article
- Export citation
DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 02 July 2020, pp. 225-249
- Print publication:
- March 2021
-
- Article
- Export citation
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 22-50
- Print publication:
- March 2021
-
- Article
- Export citation
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 29 June 2020, pp. 487-504
- Print publication:
- June 2022
-
- Article
- Export citation
COMPOSITIONALITY, COMPUTABILITY, AND COMPLEXITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 551-591
- Print publication:
- September 2021
-
- Article
- Export citation
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 645-686
- Print publication:
- September 2021
-
- Article
- Export citation
CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 1066-1087
- Print publication:
- December 2021
-
- Article
- Export citation
VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 29 June 2020, pp. 362-387
- Print publication:
- June 2022
-
- Article
- Export citation
LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 411-446
- Print publication:
- June 2021
-
- Article
- Export citation
PLANS AND PLANNING IN MATHEMATICAL PROOFS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 1030-1065
- Print publication:
- December 2021
-
- Article
- Export citation
AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 487-530
- Print publication:
- June 2021
-
- Article
- Export citation
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 25 June 2020, pp. 1-21
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Numerical methods for nonlocal and fractional models
-
- Journal:
- Acta Numerica / Volume 29 / May 2020
- Published online by Cambridge University Press:
- 30 November 2020, pp. 1-124
- Print publication:
- May 2020
-
- Article
- Export citation