An order-theoretic analysis of interpretations among propositional deductive systems

Use este identificador para citar ou linkar para este item: https://repositorio.ufba.br/handle/ri/12118

Registro completo de metadados

Campo DC	Valor	Idioma
dc.contributor.author	Russo, Ciro	-
dc.creator	Russo, Ciro	-
dc.date.accessioned	2013-07-08T12:41:34Z	-
dc.date.available	2013-07-08T12:41:34Z	-
dc.date.issued	2013	-
dc.identifier.issn	0168-0072	-
dc.identifier.uri	http://www.repositorio.ufba.br/ri/handle/ri/12118	-
dc.description	Texto completo. Acesso restrito. p. 112–130	pt_BR
dc.description.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.	pt_BR
dc.language.iso	en	pt_BR
dc.publisher	Annals of Pure and Applied Logic	pt_BR
dc.source	http://dx.doi.org/10.1016/j.apal.2012.09.006	pt_BR
dc.subject	Consequence relation	pt_BR
dc.subject	Translation	pt_BR
dc.subject	Interpretation	pt_BR
dc.subject	Quantale	pt_BR
dc.title	An order-theoretic analysis of interpretations among propositional deductive systems	pt_BR
dc.title.alternative	Annals of Pure and Applied Logic	pt_BR
dc.type	Artigo de Periódico	pt_BR
dc.description.localpub	Salvador	pt_BR
dc.identifier.number	v. 164, n. 2	pt_BR
Aparece nas coleções:	Artigo Publicado em Periódico (IC)

Arquivos associados a este item:

Não existem arquivos associados a este item.

DSpace JSPUI