Divulguei este paper neste fórum há um ano. Talvez interesse a alguns colegas saber que ele aparece na atual edição do Review of Symbolic Logic. http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8688753
Abraços, JM ---------- Forwarded message ---------- From: Joao Marcos <[email protected]> Date: Fri, Sep 2, 2011 at 10:42 AM Subject: sobre a ubiquidade das traduções conservativas To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <[email protected]> O paper abaixo será certamente do interesse de alguns membros desta lista. JM ------------------------------------------------------------------------------ \\ arXiv:1108.6263 Date: Wed, 31 Aug 2011 15:26:56 GMT (21kb) Title: The ubiquity of conservative translations Authors: Emil Je\v{r}\'abek Categories: math.LO cs.LO Comments: 14 pages MSC-class: 03B22 (Primary), 03B47, 03F25 (Secondary) \\ We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal. \\ ( http://arxiv.org/abs/1108.6263 , 21kb) ------------------------------------------------------------------------------ -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
