Use este identificador para citar ou linkar para este item:
https://repositorio.ufba.br/handle/ri/12118| Tipo: | Artigo de Periódico |
| Título: | An order-theoretic analysis of interpretations among propositional deductive systems |
| Título(s) alternativo(s): | Annals of Pure and Applied Logic |
| Autor(es): | Russo, Ciro |
| Autor(es): | Russo, Ciro |
| Abstract: | 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. |
| Palavras-chave: | Consequence relation Translation Interpretation Quantale |
| Editora / Evento / Instituição: | Annals of Pure and Applied Logic |
| URI: | http://www.repositorio.ufba.br/ri/handle/ri/12118 |
| Data do documento: | 2013 |
| Aparece nas coleções: | Artigo Publicado em Periódico (IC) |
Arquivos associados a este item:
Não existem arquivos associados a este item.
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.