Switch to: References

Add citations

You must login to add citations.
  1. Should Anti-Realists be Anti-Realists About Anti-Realism?Roy T. Cook - 2014 - Erkenntnis 79 (S2):233-258.
    On the Dummettian understanding, anti-realism regarding a particular discourse amounts to (or at the very least, involves) a refusal to accept the determinacy of the subject matter of that discourse and a corresponding refusal to assert at least some instances of excluded middle (which can be understood as expressing this determinacy of subject matter). In short: one is an anti-realist about a discourse if and only if one accepts intuitionistic logic as correct for that discourse. On careful examination, the strongest (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A method to single out maximal propositional logics with the disjunction property II.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (2):117-168.
    This is the second part of a paper devoted to the study of the maximal intermediate propositional logics with the disjunction property , whose first part has appeared in this journal with the title “A method to single out maximal propositional logics with the disjunction property I”. In the first part we have explained the general results upon which a method to single out maximal constructive logics is based and have illustrated such a method by exhibiting the Kripke semantics of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Philosophical reflection on mathematics in Poland in the interwar period.Roman Murawski - 2004 - Annals of Pure and Applied Logic 127 (1-3):325-337.
    In the paper the views and tendencies in the philosophical reflection on mathematics in Poland between the wars are analyzed. Views of most outstanding representatives of Lvov–Warsaw Philosophical School and of Polish Mathematical School are presented. Their influence on logical and mathematical researches is considered.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A method to single out maximal propositional logics with the disjunction property I.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (1):1-46.
    This is the first part of a paper concerning intermediate propositional logics with the disjunction property which cannot be properly extended into logics of the same kind, and are therefore called maximal. To deal with these logics, we use a method based on the search of suitable nonstandard logics, which has an heuristic content and has allowed us to discover a wide family of logics, as well as to get their maximality proofs in a uniform way. The present part illustrates (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations