An order-theoretic analysis of interpretations among propositional deductive systems

Detalhes bibliográficos
Autor(a) principal: Russo, Ciro
Data de Publicação: 2013
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UFBA
Texto Completo: http://www.repositorio.ufba.br/ri/handle/ri/12118
Resumo: Texto completo. Acesso restrito. p. 112–130
id UFBA-2_96ef1051eaa6274de2a955ffa569cde2
oai_identifier_str oai:repositorio.ufba.br:ri/12118
network_acronym_str UFBA-2
network_name_str Repositório Institucional da UFBA
repository_id_str 1932
spelling Russo, CiroRusso, Ciro2013-07-08T12:41:34Z2013-07-08T12:41:34Z20130168-0072http://www.repositorio.ufba.br/ri/handle/ri/12118v. 164, n. 2Texto completo. Acesso restrito. p. 112–130In 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.Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2013-07-08T12:41:34Z No. of bitstreams: 1 2222222222.pdf: 343134 bytes, checksum: 046c51b12b5f0c4d761bf29b46ea0f6f (MD5)Made available in DSpace on 2013-07-08T12:41:34Z (GMT). No. of bitstreams: 1 2222222222.pdf: 343134 bytes, checksum: 046c51b12b5f0c4d761bf29b46ea0f6f (MD5) Previous issue date: 2013SalvadorAnnals of Pure and Applied Logichttp://dx.doi.org/10.1016/j.apal.2012.09.006reponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBAConsequence relationTranslationInterpretationQuantaleAn order-theoretic analysis of interpretations among propositional deductive systemsAnnals of Pure and Applied Logicinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleenginfo:eu-repo/semantics/openAccessORIGINAL2222222222.pdf2222222222.pdfapplication/pdf343134https://repositorio.ufba.br/bitstream/ri/12118/1/2222222222.pdf046c51b12b5f0c4d761bf29b46ea0f6fMD51LICENSElicense.txtlicense.txttext/plain1762https://repositorio.ufba.br/bitstream/ri/12118/2/license.txt1b89a9a0548218172d7c829f87a0eab9MD52TEXT2222222222.pdf.txt2222222222.pdf.txtExtracted texttext/plain81033https://repositorio.ufba.br/bitstream/ri/12118/3/2222222222.pdf.txt1eaed2d306ff0e392601829febbe9fb2MD53ri/121182022-07-05 14:02:50.941oai:repositorio.ufba.br:ri/12118VGVybW8gZGUgTGljZW7vv71hLCBu77+9byBleGNsdXNpdm8sIHBhcmEgbyBkZXDvv71zaXRvIG5vIHJlcG9zaXTvv71yaW8gSW5zdGl0dWNpb25hbCBkYSBVRkJBCgogICAgUGVsbyBwcm9jZXNzbyBkZSBzdWJtaXNz77+9byBkZSBkb2N1bWVudG9zLCBvIGF1dG9yIG91IHNldQpyZXByZXNlbnRhbnRlIGxlZ2FsLCBhbyBhY2VpdGFyIGVzc2UgdGVybW8gZGUgbGljZW7vv71hLCBjb25jZWRlIGFvClJlcG9zaXTvv71yaW8gSW5zdGl0dWNpb25hbCBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkYSBCYWhpYSBvIGRpcmVpdG8KZGUgbWFudGVyIHVtYSBj77+9cGlhIGVtIHNldSByZXBvc2l077+9cmlvIGNvbSBhIGZpbmFsaWRhZGUsIHByaW1laXJhLCAKZGUgcHJlc2VydmHvv73vv71vLiBFc3NlcyB0ZXJtb3MsIG7vv71vIGV4Y2x1c2l2b3MsIG1hbnTvv71tIG9zIGRpcmVpdG9zIGRlIAphdXRvci9jb3B5cmlnaHQsIG1hcyBlbnRlbmRlIG8gZG9jdW1lbnRvIGNvbW8gcGFydGUgZG8gYWNlcnZvIGludGVsZWN0dWFsIGRlc3NhIFVuaXZlcnNpZGFkZS4gCgogICAgUGFyYSBvcyBkb2N1bWVudG9zIHB1YmxpY2Fkb3MgY29tIHJlcGFzc2UgZGUgZGlyZWl0b3MgZGUgZGlzdHJpYnVp77+977+9bywgZXNzZSB0ZXJtbyBkZSBsaWNlbu+/vWEgZW50ZW5kZSBxdWU6IAoKICAgIE1hbnRlbmRvIG9zICBkaXJlaXRvcyBhdXRvcmFpcywgcmVwYXNzYWRvcyBhIHRlcmNlaXJvcywgZW0gY2FzbyAKZGUgcHVibGljYe+/ve+/vWVzLCBvIHJlcG9zaXTvv71yaW8gcG9kZSByZXN0cmluZ2lyIG8gYWNlc3NvIGFvIHRleHRvIAppbnRlZ3JhbCwgbWFzIGxpYmVyYSBhcyBpbmZvcm1h77+977+9ZXMgc29icmUgbyBkb2N1bWVudG8gKE1ldGFkYWRvcyBkZXNjcml0aXZvcykuCgogRGVzdGEgZm9ybWEsIGF0ZW5kZW5kbyBhb3MgYW5zZWlvcyBkZXNzYSB1bml2ZXJzaWRhZGUgCmVtIG1hbnRlciBzdWEgcHJvZHXvv73vv71vIGNpZW5077+9ZmljYSBjb20gYXMgcmVzdHJp77+977+9ZXMgaW1wb3N0YXMgcGVsb3MgCmVkaXRvcmVzIGRlIHBlcmnvv71kaWNvcy4gCgogICAgUGFyYSBhcyBwdWJsaWNh77+977+9ZXMgZW0gaW5pY2lhdGl2YXMgcXVlIHNlZ3VlbSBhIHBvbO+/vXRpY2EgZGUgCkFjZXNzbyBBYmVydG8sIG9zIGRlcO+/vXNpdG9zIGNvbXB1bHPvv71yaW9zIG5lc3NlIHJlcG9zaXTvv71yaW8gbWFudO+/vW0gCm9zIGRpcmVpdG9zIGF1dG9yYWlzLCBtYXMgbWFudO+/vW0gbyBhY2Vzc28gaXJyZXN0cml0byBhbyBtZXRhZGFkb3MgCmUgdGV4dG8gY29tcGxldG8uIEFzc2ltLCBhIGFjZWl0Ye+/ve+/vW8gZGVzc2UgdGVybW8gbu+/vW8gbmVjZXNzaXRhIGRlIApjb25zZW50aW1lbnRvIHBvciBwYXJ0ZSBkZSBhdXRvcmVzL2RldGVudG9yZXMgZG9zIGRpcmVpdG9zLCBwb3IgCmVzdGFyZW0gZW0gaW5pY2lhdGl2YXMgZGUgYWNlc3NvIGFiZXJ0by4KCiAgICBFbSBhbWJvcyBvIGNhc28sIGVzc2UgdGVybW8gZGUgbGljZW7vv71hLCBwb2RlIHNlciBhY2VpdG8gcGVsbyAKYXV0b3IsIGRldGVudG9yZXMgZGUgZGlyZWl0b3MgZS9vdSB0ZXJjZWlyb3MgYW1wYXJhZG9zIHBlbGEgCnVuaXZlcnNpZGFkZS4gRGV2aWRvIGFvcyBkaWZlcmVudGVzIHByb2Nlc3NvcyBwZWxvIHF1YWwgYSBzdWJtaXNz77+9byAKcG9kZSBvY29ycmVyLCBvIHJlcG9zaXTvv71yaW8gcGVybWl0ZSBhIGFjZWl0Ye+/ve+/vW8gZGEgbGljZW7vv71hIHBvciAKdGVyY2Vpcm9zLCBzb21lbnRlIG5vcyBjYXNvcyBkZSBkb2N1bWVudG9zIHByb2R1emlkb3MgcG9yIGludGVncmFudGVzIApkYSBVRkJBIGUgc3VibWV0aWRvcyBwb3IgcGVzc29hcyBhbXBhcmFkYXMgcG9yIGVzdGEgaW5zdGl0dWnvv73vv71vLgo=Repositório InstitucionalPUBhttp://192.188.11.11:8080/oai/requestopendoar:19322022-07-05T17:02:50Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false
dc.title.pt_BR.fl_str_mv An order-theoretic analysis of interpretations among propositional deductive systems
dc.title.alternative.pt_BR.fl_str_mv Annals of Pure and Applied Logic
title An order-theoretic analysis of interpretations among propositional deductive systems
spellingShingle An order-theoretic analysis of interpretations among propositional deductive systems
Russo, Ciro
Consequence relation
Translation
Interpretation
Quantale
title_short An order-theoretic analysis of interpretations among propositional deductive systems
title_full An order-theoretic analysis of interpretations among propositional deductive systems
title_fullStr An order-theoretic analysis of interpretations among propositional deductive systems
title_full_unstemmed An order-theoretic analysis of interpretations among propositional deductive systems
title_sort An order-theoretic analysis of interpretations among propositional deductive systems
author Russo, Ciro
author_facet Russo, Ciro
author_role author
dc.contributor.author.fl_str_mv Russo, Ciro
Russo, Ciro
dc.subject.por.fl_str_mv Consequence relation
Translation
Interpretation
Quantale
topic Consequence relation
Translation
Interpretation
Quantale
description Texto completo. Acesso restrito. p. 112–130
publishDate 2013
dc.date.accessioned.fl_str_mv 2013-07-08T12:41:34Z
dc.date.available.fl_str_mv 2013-07-08T12:41:34Z
dc.date.issued.fl_str_mv 2013
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.repositorio.ufba.br/ri/handle/ri/12118
dc.identifier.issn.none.fl_str_mv 0168-0072
dc.identifier.number.pt_BR.fl_str_mv v. 164, n. 2
identifier_str_mv 0168-0072
v. 164, n. 2
url http://www.repositorio.ufba.br/ri/handle/ri/12118
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Annals of Pure and Applied Logic
publisher.none.fl_str_mv Annals of Pure and Applied Logic
dc.source.pt_BR.fl_str_mv http://dx.doi.org/10.1016/j.apal.2012.09.006
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFBA
instname:Universidade Federal da Bahia (UFBA)
instacron:UFBA
instname_str Universidade Federal da Bahia (UFBA)
instacron_str UFBA
institution UFBA
reponame_str Repositório Institucional da UFBA
collection Repositório Institucional da UFBA
bitstream.url.fl_str_mv https://repositorio.ufba.br/bitstream/ri/12118/1/2222222222.pdf
https://repositorio.ufba.br/bitstream/ri/12118/2/license.txt
https://repositorio.ufba.br/bitstream/ri/12118/3/2222222222.pdf.txt
bitstream.checksum.fl_str_mv 046c51b12b5f0c4d761bf29b46ea0f6f
1b89a9a0548218172d7c829f87a0eab9
1eaed2d306ff0e392601829febbe9fb2
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)
repository.mail.fl_str_mv
_version_ 1808459451129135104

Registros relacionados