4162 results in Numerical analysis and computational science
CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 29 August 2019, pp. 887-909
- Print publication:
- December 2020
-
- Article
- Export citation
RSL volume 12 issue 3 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 29 August 2019, pp. f1-f4
- Print publication:
- September 2019
-
- Article
-
- You have access
- Export citation
ON MORITA EQUIVALENCE AND INTERPRETABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 13 August 2019, pp. 388-415
- Print publication:
- June 2020
-
- Article
- Export citation
THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 13 August 2019, pp. 813-837
- Print publication:
- December 2021
-
- Article
- Export citation
CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 August 2019, pp. 806-822
- Print publication:
- December 2019
-
- Article
- Export citation
THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 02 August 2019, pp. 296-325
- Print publication:
- June 2020
-
- Article
- Export citation
FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 16 July 2019, pp. 105-140
- Print publication:
- March 2020
-
- Article
- Export citation
UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 15 July 2019, pp. 426-455
- Print publication:
- September 2019
-
- Article
- Export citation
DYNAMIC GRADED EPISTEMIC LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 12 July 2019, pp. 663-684
- Print publication:
- December 2019
-
- Article
- Export citation
EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 12 July 2019, pp. 838-865
- Print publication:
- December 2021
-
- Article
- Export citation
MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 12 July 2019, pp. 206-218
- Print publication:
- March 2020
-
- Article
- Export citation
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 04 July 2019, pp. 487-535
- Print publication:
- September 2019
-
- Article
- Export citation
PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 17 June 2019, pp. 720-747
- Print publication:
- December 2020
-
- Article
- Export citation
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 13 June 2019, pp. 861-881
- Print publication:
- December 2020
-
- Article
- Export citation
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 13 June 2019, pp. 557-588
- Print publication:
- September 2019
-
- Article
- Export citation
PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 10 June 2019, pp. 607-636
- Print publication:
- December 2019
-
- Article
- Export citation
ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 10 June 2019, pp. 269-295
- Print publication:
- June 2020
-
- Article
- Export citation
INCOMPLETENESS VIA PARADOX AND COMPLETENESS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 23 May 2019, pp. 541-592
- Print publication:
- September 2020
-
- Article
- Export citation
SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 20 May 2019, pp. 857-860
- Print publication:
- December 2020
-
- Article
- Export citation
GENERIC LARGE CARDINALS AS AXIOMS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 14 May 2019, pp. 375-387
- Print publication:
- June 2020
-
- Article
- Export citation