排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms
of translations between logics: (conservative) translations, transfers and contextual translations. Though independent, such approaches are here compared and assessed against questions about the meaning of a translation
and about comparative strength and extensibility of a logic with respect to another.
Dedicated to the memory of Mário Tourasse Teixeira and Antonio Mário Sette 相似文献
1