6433 results in Logic, categories and Sets
ONTOLOGICAL PURITY FOR FORMAL PROOFS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 13 November 2023, pp. 395-434
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NON-FACTIVE KOLMOGOROV CONDITIONALIZATION
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 31 October 2023, pp. 1-27
-
- Article
- Export citation
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 October 2023, pp. 1-27
-
- Article
- Export citation
Appendix E - Montel’s and Hurwitz’s Theorems
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp 526-529
-
- Chapter
- Export citation
Appendix O - Ordinal Numbers and Analysis
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp 649-664
-
- Chapter
- Export citation
Preface
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp xiii-xx
-
- Chapter
- Export citation
Chapter 8 - Proving Central Theorem 4
-
- Book:
- A Theory of Truth
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023, pp 207-254
-
- Chapter
- Export citation
Chapter 5 - Proving Central Theorem 1
-
- Book:
- A Theory of Truth
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023, pp 107-130
-
- Chapter
- Export citation
Dedication
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp v-v
-
- Chapter
- Export citation
Contents
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp vii-xii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp i-iv
-
- Chapter
- Export citation
Appendix D - Absolute Continuity
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp 516-525
-
- Chapter
- Export citation
Appendix K - Stirling’s Approximation for the Gamma Function
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp 565-566
-
- Chapter
- Export citation
7 - The Pólya–Jensen Equivalence
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp 289-306
-
- Chapter
- Export citation
Appendix C - Hyperbolic Polynomials
-
- Book:
- Equivalents of the Riemann Hypothesis
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023, pp 495-515
-
- Chapter
- Export citation
Contents
-
- Book:
- A Theory of Truth
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023, pp v-viii
-
- Chapter
- Export citation
Afterword
-
- Book:
- A Theory of Truth
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023, pp 327-328
-
- Chapter
- Export citation
Chapter 3 - Ambiguity and Indexicality
-
- Book:
- A Theory of Truth
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023, pp 45-68
-
- Chapter
- Export citation
Index
-
- Book:
- A Theory of Truth
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023, pp 337-346
-
- Chapter
- Export citation
Preface
-
- Book:
- A Theory of Truth
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023, pp ix-xii
-
- Chapter
- Export citation