Order:
  1.  18
    Note on grammatical translations of logical calculi.Stanislaw Krajewski - 1992 - Archive for Mathematical Logic 31 (4):259-262.
    It is shown that there exists no grammatical translation into classical (propositional) logic of the modal logics, nor of intuitionistic logic and of the relatedness and dependence logics, as defined in Richard L. Epstein's bookThe Semantic foundations of logic. In the book the result is proved for translations without parameters.Classical propositional logicPC can be translated into other logics. Usually the grammatical structure of propositions is preserved, in the sense of the following definition.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. On the relatedness logic of Richard L. Epstein.Stanislaw Krajewski - 1982 - Bulletin of the Section of Logic 11 (1-2):24-28.
    No categories
     
    Export citation  
     
    Bookmark   2 citations