Switch to: References

Add citations

You must login to add citations.
  1. New foundations for metascience.David Pearce & Veikko Rantala - 1983 - Synthese 56 (1):1 - 26.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • 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  
  • A note on syntactical and semantical functions.Adam Gajda, Micha? Krynicki & Les?aw Szczerba - 1987 - Studia Logica 46 (2):177 - 185.
    We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X is also finitely axiomatizable (i.e. iff is (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations