A categorial aproach to the combination of logics

Detalhes bibliográficos
Autor(a) principal: Carnielli, Walter Alexandre
Data de Publicação: 1999
Outros Autores: Coniglio, Marcelo Esteban
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666386
Resumo: In this paper we propose a very general definition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list  some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics.
id UNICAMP-17_031e856855232cb2e935cc1ec5989b0e
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8666386
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling A categorial aproach to the combination of logicsLógicaSemânticaIn this paper we propose a very general definition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list  some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics.Universidade Estadual de Campinas1999-10-31info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionTextoapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666386Manuscrito: Revista Internacional de Filosofia; v. 22 n. 2 (1999): out.; 69-94Manuscrito: International Journal of Philosophy; Vol. 22 No. 2 (1999): Oct.; 69-94Manuscrito: Revista Internacional de Filosofía; Vol. 22 Núm. 2 (1999): out.; 69-942317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666386/28490Brasil; ContemporâneoCopyright (c) 1999 Manuscrito: Revista Internacional de Filosofiahttps://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessCarnielli, Walter Alexandre Coniglio, Marcelo Esteban2022-05-20T17:41:15Zoai:ojs.periodicos.sbu.unicamp.br:article/8666386Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2022-05-20T17:41:15Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv A categorial aproach to the combination of logics
title A categorial aproach to the combination of logics
spellingShingle A categorial aproach to the combination of logics
Carnielli, Walter Alexandre
Lógica
Semântica
title_short A categorial aproach to the combination of logics
title_full A categorial aproach to the combination of logics
title_fullStr A categorial aproach to the combination of logics
title_full_unstemmed A categorial aproach to the combination of logics
title_sort A categorial aproach to the combination of logics
author Carnielli, Walter Alexandre
author_facet Carnielli, Walter Alexandre
Coniglio, Marcelo Esteban
author_role author
author2 Coniglio, Marcelo Esteban
author2_role author
dc.contributor.author.fl_str_mv Carnielli, Walter Alexandre
Coniglio, Marcelo Esteban
dc.subject.por.fl_str_mv Lógica
Semântica
topic Lógica
Semântica
description In this paper we propose a very general definition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list  some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics.
publishDate 1999
dc.date.none.fl_str_mv 1999-10-31
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Texto
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666386
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666386
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666386/28490
dc.rights.driver.fl_str_mv Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia
https://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia
https://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv Brasil; Contemporâneo
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 22 n. 2 (1999): out.; 69-94
Manuscrito: International Journal of Philosophy; Vol. 22 No. 2 (1999): Oct.; 69-94
Manuscrito: Revista Internacional de Filosofía; Vol. 22 Núm. 2 (1999): out.; 69-94
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216567992025088

Registros relacionados