Please use this identifier to cite or link to this item:
https://repositorio.ufba.br/handle/ri/12118
metadata.dc.type: | Artigo de Periódico |
Title: | An order-theoretic analysis of interpretations among propositional deductive systems |
Other Titles: | Annals of Pure and Applied Logic |
Authors: | Russo, Ciro |
metadata.dc.creator: | 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. |
Keywords: | Consequence relation Translation Interpretation Quantale |
Publisher: | Annals of Pure and Applied Logic |
URI: | http://www.repositorio.ufba.br/ri/handle/ri/12118 |
Issue Date: | 2013 |
Appears in Collections: | Artigo Publicado em Periódico (IC) |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.