Note on grammatical translations of logical calculi |
| |
Authors: | Stanislaw Krajewski |
| |
Institution: | (1) Institute of Mathematics, Polish Academy of Sciences, Sniadeckich 8, PL-00-950 Warsaw, Poland |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|