Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations