caa a22 4500 469126779 CHVBK 20180323133152.0 cr unu---uuuuu 170328e19920701xx s 000 0 eng 10.1007/BF01794982 doi (NATIONALLICENCE)springer-10.1007/BF01794982 Krajewski Stanislaw Institute of Mathematics, Polish Academy of Sciences, Sniadeckich 8, PL-00-950, Warsaw, Poland aut Note on grammatical translations of logical calculi [Elektronische Daten] [Stanislaw Krajewski] 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. Springer-Verlag, 1992 Archive for Mathematical Logic Springer-Verlag 31/4(1992-07-01), 259-262 0933-5846 31:4<259 1992 31 153 https://doi.org/10.1007/BF01794982 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01794982 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Krajewski Stanislaw Institute of Mathematics, Polish Academy of Sciences, Sniadeckich 8, PL-00-950, Warsaw, Poland aut NATIONALLICENCE 773 0- Archive for Mathematical Logic Springer-Verlag 31/4(1992-07-01), 259-262 0933-5846 31:4<259 1992 31 153 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer