A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

  Subjects -> PHILOSOPHY (Total: 762 journals)
The end of the list has been reached or no journals were found for your choice.
Similar Journals
Journal Cover
Bulletin of Symbolic Logic
Journal Prestige (SJR): 0.555
Citation Impact (citeScore): 1
Number of Followers: 4  
 
  Full-text available via subscription Subscription journal
ISSN (Print) 1079-8986 - ISSN (Online) 1943-5894
Published by Cambridge University Press Homepage  [352 journals]
  • BSL volume 28 issue 3 Cover and Front matter

    • Free pre-print version: Loading...

      Pages: 1 - 3
      PubDate: 2022-10-21
      DOI: 10.1017/bsl.2022.31
       
  • BSL volume 28 issue 3 Cover and Back matter

    • Free pre-print version: Loading...

      Pages: 1 - 2
      PubDate: 2022-10-21
      DOI: 10.1017/bsl.2022.32
       
  • AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS

    • Free pre-print version: Loading...

      Authors: SHULMAN; MICHAEL
      Pages: 327 - 386
      Abstract: We show that numerous distinctive concepts of constructive mathematics arise automatically from an “antithesis” translation of affine logic into intuitionistic logic via a Chu/Dialectica construction. This includes apartness relations, complemented subsets, anti-subgroups and anti-ideals, strict and non-strict order pairs, cut-valued metrics, and apartness spaces. We also explain the constructive bifurcation of some classical concepts using the choice between multiplicative and additive affine connectives. Affine logic and the antithesis construction thus systematically “constructivize” classical definitions, handling the resulting bookkeeping automatically.
      PubDate: 2022-07-21
      DOI: 10.1017/bsl.2022.28
       
  • UNIVERSAL CODING AND PREDICTION ON ERGODIC RANDOM POINTS

    • Free pre-print version: Loading...

      Authors: DĘBOWSKI; ŁUKASZ, STEIFER, TOMASZ
      Pages: 387 - 412
      Abstract: Suppose that we have a method which estimates the conditional probabilities of some unknown stochastic source and we use it to guess which of the outcomes will happen. We want to make a correct guess as often as it is possible. What estimators are good for this' In this work, we consider estimators given by a familiar notion of universal coding for stationary ergodic measures, while working in the framework of algorithmic randomness, i.e., we are particularly interested in prediction of Martin-Löf random points. We outline the general theory and exhibit some counterexamples. Completing a result of Ryabko from 2009 we also show that universal probability measure in the sense of universal coding induces a universal predictor in the prequential sense. Surprisingly, this implication holds true provided the universal measure does not ascribe too low conditional probabilities to individual symbols. As an example, we show that the Prediction by Partial Matching (PPM) measure satisfies this requirement with a large reserve.
      PubDate: 2022-05-02
      DOI: 10.1017/bsl.2022.18
       
  • THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN
           THEME

    • Free pre-print version: Loading...

      Authors: KRIPKE; SAUL A.
      Pages: 413 - 426
      Abstract: The Hilbert program was actually a specific approach for proving consistency, a kind of constructive model theory. Quantifiers were supposed to be replaced by ε-terms. εxA(x) was supposed to denote a witness to , or something arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system S, each ε-term can be replaced by a numeral, making each line provable and true. This implies that S must not only be consistent, but also 1-consistent (-correct). Here we show that if the result is supposed to be provable within S, a statement about all statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles Gödel’s but arises naturally out of the Hilbert program itself.
      PubDate: 2022-03-23
      DOI: 10.1017/bsl.2022.14
       
  • AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING

    • Free pre-print version: Loading...

      Authors: FREIRE; RODRIGO A., HOLY, PETER
      Pages: 427 - 450
      Abstract: The technique of forcing is almost ubiquitous in set theory, and it seems to be based on technicalities like the concepts of genericity, forcing names and their evaluations, and on the recursively defined forcing predicates, the definition of which is particularly intricate for the basic case of atomic first order formulas. In his [3], the first author has provided an axiomatic framework for set forcing over models of that is a collection of guiding principles for extensions over which one still has control from the ground model, and has shown that these axiomatics necessarily lead to the usual concepts of genericity and of forcing extensions, and also that one can infer from them the usual recursive definition of forcing predicates. In this paper, we present a more general such approach, covering both class forcing and set forcing, over various base theories, and we provide additional details regarding the formal setting that was outlined in [3].
      PubDate: 2022-04-04
      DOI: 10.1017/bsl.2022.15
       
  • A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC

    • Free pre-print version: Loading...

      Authors: FRITTAION; EMANUELE
      Pages: 451 - 465
      Abstract: We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory extending and axiomatizable by a sentence, and for any , where T is augmented with full induction, and denotes the schema of transfinite induction up to for formulas without set parameters.
      PubDate: 2022-06-09
      DOI: 10.1017/bsl.2022.23
       
  • 2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS
           Seattle, Washington Joint Mathematics Meeting January 7–8, 2022

    • Free pre-print version: Loading...

      Pages: 466 - 466
      PubDate: 2022-10-21
      DOI: 10.1017/bsl.2022.25
       
  • 2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA
           Palmer House, Chicago, IL Central APA Meeting February 24, 2022

    • Free pre-print version: Loading...

      Pages: 467 - 469
      PubDate: 2022-10-21
      DOI: 10.1017/bsl.2022.26
       
  • NOTICES

    • Free pre-print version: Loading...

      Pages: 470 - 475
      PubDate: 2022-10-21
      DOI: 10.1017/bsl.2022.30
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 35.173.35.14
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-