Switch to: References

Add citations

You must login to add citations.
  1. The adequacy condition as a definition of elementary interpretation.Adam Gajda - 1988 - Studia Logica 47 (1):57 - 69.
    A definition of elementary interpretation, equivalent (up to isomorphisms) to the ones of [3] and [4], is given. The defining condition, used here, seems to confirm that intuitions agree with the choice of the class of elementary interpretations, which was done in [3].
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Translation, reduction and commensurability: A note on Schroeder-heister and Schaefer.David Pearce - 1989 - Philosophy of Science 56 (1):158-164.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • European Summer Meeting of the Association for Symbolic Logic.E. -J. Thiele - 1992 - Journal of Symbolic Logic 57 (1):282-351.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.
    This paper is an investigation into what could be a goodexplication of ``theory S is reducible to theory T''''. Ipresent an axiomatic approach to reducibility, which is developedmetamathematically and used to evaluate most of the definitionsof ``reducible'''' found in the relevant literature. Among these,relative interpretability turns out to be most convincing as ageneral reducibility concept, proof-theoreticalreducibility being its only serious competitor left. Thisrelation is analyzed in some detail, both from the point of viewof the reducibility axioms and of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Can every modifier be treated as a sentence modifier?Lloyd Humberstone - 2008 - Philosophical Perspectives 22 (1):241-275.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
    Glymour and Quine propose two different formal criteria for theoretical equivalence. In this paper we examine the relationships between these criteria.
    Download  
     
    Export citation  
     
    Bookmark   54 citations