Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufba.br/handle/ri/12118
metadata.dc.type: | Artigo de Periódico |
Título : | An order-theoretic analysis of interpretations among propositional deductive systems |
Otros títulos : | Annals of Pure and Applied Logic |
Autor : | Russo, Ciro |
metadata.dc.creator: | Russo, Ciro |
Resumen : | In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework which is able to describe and characterize both strong and weak forms of interpretations among propositional deductive systems also in the cases where the systems have different underlying languages. |
Palabras clave : | Consequence relation Translation Interpretation Quantale |
Editorial : | Annals of Pure and Applied Logic |
URI : | http://www.repositorio.ufba.br/ri/handle/ri/12118 |
Fecha de publicación : | 2013 |
Aparece en las colecciones: | Artigo Publicado em Periódico (IC) |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.