Search Results - "Bulletin of Symbolic Logic"

Refine Results
  1. 141
    Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405–424

    Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405–424 by Uzquiano, Gabriel

    Get full text
    Article
    Save to List
    Saved in:
  2. 142
    ISOMORPHISM INVARIANCE AND OVERGENERATION – CORRIGENDUM

    ISOMORPHISM INVARIANCE AND OVERGENERATION – CORRIGENDUM by GRIFFITHS, O., PASEAU, A. C.

    Get full text
    Article
    Save to List
    Saved in:
  3. 143
    BSL volume 25 issue 4 Cover and Back matter

    BSL volume 25 issue 4 Cover and Back matter

    Get full text
    Article
    Save to List
    Saved in:
  4. 144
    BSL volume 25 issue 4 Cover and Front matter

    BSL volume 25 issue 4 Cover and Front matter

    Get full text
    Article
    Save to List
    Saved in:
  5. 145
    D. D. Dzhafarov and C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp

    D. D. Dzhafarov and C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp by Conidis, Chris J.

    Get full text
    Article
    Save to List
    Saved in:
  6. 146
    Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook . Edited by Bruce M. Kapron, ACM Books, vol. 43. Association for Computing Machinery, New York, xxvi + 398 pp.—therein: - Michelle Waitzman. Stephen Cook: Complexity’s Humble Hero , pp. 3–28. - Bruce M. Kapron and Stephen A. Cook, ACM Interview of Stephen A. Cook by Bruce M. Kapron , pp. 29–44. - Stephen A. Cook, Overview of Computational Complexity , pp. 47–70. - Christos H. Papadimitriou, Cook’s NP-Completeness Paper a

    Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook . Edited by Bruce M. Kapron, ACM Books, vol. 43. Association for Computing Machinery, New York, xxvi + 398 pp.—therein: - Michelle Waitzman. Stephen Cook: Complexity’s Humble Hero , pp. 3–28. - Bruce M. Kapron and Stephen A. Cook, ACM Interview of Stephen A. Cook by Bruce M. Kapron , pp. 29–44. - Stephen A. Cook, Overview of Computational Complexity , pp. 47–70. - Christos H. Papadimitriou, Cook’s NP-Completeness Paper a by Pudlák, Pavel

    Get full text
    Article
    Save to List
    Saved in:
  7. 147
    John Steel and Hugh Woodin. HOD as a Core Model . Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257–345

    John Steel and Hugh Woodin. HOD as a Core Model . Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257–345 by Levinson, Derek

    Get full text
    Article
    Save to List
    Saved in:
  8. 148
    Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification

    Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification by Boričić, Marija

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 149
    Non-Classical Set Theories and Logics Associated With Them

    Non-Classical Set Theories and Logics Associated With Them by Tarafder, Sourav

    Get full text
    Article
    Save to List
    Saved in:
  10. 150
    Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler’s Order

    Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler’s Order by Parente, Francesco

    Get full text
    Article
    Save to List
    Saved in:
  11. 151
    A Study of the Interrelation between Fuzzy Topological Systems and Logics

    A Study of the Interrelation between Fuzzy Topological Systems and Logics by Jana, Purbita

    Get full text
    Article
    Save to List
    Saved in:
  12. 152
    THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough . Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. - Isabella McAllister, Classical logic is not uniquely characterizable . Journal of Philosophical Logic, vol. 51 (2022), pp. 1345–1365. - Rea Golan, There is no tenable notion of global metainferential validity . Analysis, vol. 81 (2021), no. 3, pp. 411–420

    THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough . Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. - Isabella McAllister, Classical logic is not uniquely characterizable . Journal of Philosophical Logic, vol. 51 (2022), pp. 1345–1365. - Rea Golan, There is no tenable notion of global metainferential validity . Analysis, vol. 81 (2021), no. 3, pp. 411–420 by Scambler, Chris

    Get full text
    Article
    Save to List
    Saved in:
  13. 153
    John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp

    John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp by Bentzen, Bruno

    Get full text
    Article
    Save to List
    Saved in:
  14. 154
    BSL volume 25 issue 3 Cover and Back matter

    BSL volume 25 issue 3 Cover and Back matter

    Get full text
    Article
    Save to List
    Saved in:
  15. 155
    BSL volume 25 issue 3 Cover and Front matter

    BSL volume 25 issue 3 Cover and Front matter

    Get full text
    Article
    Save to List
    Saved in:
  16. 156
    Katie Steele and H. Orri Stefánsson. Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy. Cambridge University Press, Cambridge, UK, 2021, 110 pp

    Katie Steele and H. Orri Stefánsson. Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy. Cambridge University Press, Cambridge, UK... by Elmitt, Magdalen

    Get full text
    Article
    Save to List
    Saved in:
  17. 157
    Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp

    Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp by Müller, Moritz

    Get full text
    Article
    Save to List
    Saved in:
  18. 158
    BSL volume 25 issue 2 Cover and Back matter

    BSL volume 25 issue 2 Cover and Back matter

    Get full text
    Article
    Save to List
    Saved in:
  19. 159
    BSL volume 25 issue 2 Cover and Front matter

    BSL volume 25 issue 2 Cover and Front matter

    Get full text
    Article
    Save to List
    Saved in:
  20. 160
    COMPACTNESS OF $\omega _1$ AND STRONG AXIOMS OF DETERMINACY

    COMPACTNESS OF $\omega _1$ AND STRONG AXIOMS OF DETERMINACY by Gappo, Takehiko

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: