Switch to: References

Add citations

You must login to add citations.
  1. On the (In)Dependence of the Peano Axioms for Natural Numbers.Márcia R. Cerioli, Hugo Nobrega, Guilherme Silveira & Petrucio Viana - 2021 - History and Philosophy of Logic 43 (1):51-69.
    We investigate two notions of independence— independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they...
    Download  
     
    Export citation  
     
    Bookmark  
  • Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.
    Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations