Confronting logical properties in a universal logic context

Detalhes bibliográficos
Autor(a) principal: Feitosa, Hércules de Araújo
Data de Publicação: 2015
Outros Autores: Nascimento, Mauri Cunha do, Silvestrini, Luiz Henrique da Cruz
Tipo de documento: Artigo
Idioma: por
Título da fonte: Cognitio (São Paulo. Online)
Texto Completo: https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077
Resumo: This paper presents a definition of universal logic in a strictly set-theoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.
id PUC_SP-15_43fc19cf96e962047a6cbafb6d031146
oai_identifier_str oai:ojs.pkp.sfu.ca:article/23077
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Confronting logical properties in a universal logic contextConfrontando propriedades lógicas em um contexto de lógica universalLógica. Operador de consequência. Teoria. Fecho. Compacidade. Dedutibilidade.Logic. Consequence operator. Theory. Closure. Compacity. Deductibility.This paper presents a definition of universal logic in a strictly set-theoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.Este texto apresenta uma definição de lógica universal num ambiente estritamente conjuntista e coteja propriedades lógicas e topológicas neste ambiente abstrato. Ao comparar estas propriedades, testamos a etimologia dos nomes mais usuais das propriedades tratadas e a (não) equivalência entre elas.Pontifícia Universidade Católica de São Paulo2015-04-30info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077Cognitio: Revista de Filosofia; Vol. 15 No. 2 (2014); 333-348Cognitio: Revista de Filosofia; v. 15 n. 2 (2014); 333-3482316-52781518-7187reponame:Cognitio (São Paulo. Online)instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPporhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077/16704Copyright (c) 2015 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessFeitosa, Hércules de AraújoNascimento, Mauri Cunha doSilvestrini, Luiz Henrique da Cruz2024-07-01T13:09:39Zoai:ojs.pkp.sfu.ca:article/23077Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2024-07-01T13:09:39Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Confronting logical properties in a universal logic context
Confrontando propriedades lógicas em um contexto de lógica universal
title Confronting logical properties in a universal logic context
spellingShingle Confronting logical properties in a universal logic context
Feitosa, Hércules de Araújo
Lógica. Operador de consequência. Teoria. Fecho. Compacidade. Dedutibilidade.
Logic. Consequence operator. Theory. Closure. Compacity. Deductibility.
title_short Confronting logical properties in a universal logic context
title_full Confronting logical properties in a universal logic context
title_fullStr Confronting logical properties in a universal logic context
title_full_unstemmed Confronting logical properties in a universal logic context
title_sort Confronting logical properties in a universal logic context
author Feitosa, Hércules de Araújo
author_facet Feitosa, Hércules de Araújo
Nascimento, Mauri Cunha do
Silvestrini, Luiz Henrique da Cruz
author_role author
author2 Nascimento, Mauri Cunha do
Silvestrini, Luiz Henrique da Cruz
author2_role author
author
dc.contributor.author.fl_str_mv Feitosa, Hércules de Araújo
Nascimento, Mauri Cunha do
Silvestrini, Luiz Henrique da Cruz
dc.subject.por.fl_str_mv Lógica. Operador de consequência. Teoria. Fecho. Compacidade. Dedutibilidade.
Logic. Consequence operator. Theory. Closure. Compacity. Deductibility.
topic Lógica. Operador de consequência. Teoria. Fecho. Compacidade. Dedutibilidade.
Logic. Consequence operator. Theory. Closure. Compacity. Deductibility.
description This paper presents a definition of universal logic in a strictly set-theoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.
publishDate 2015
dc.date.none.fl_str_mv 2015-04-30
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077/16704
dc.rights.driver.fl_str_mv Copyright (c) 2015 http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv Cognitio: Revista de Filosofia; Vol. 15 No. 2 (2014); 333-348
Cognitio: Revista de Filosofia; v. 15 n. 2 (2014); 333-348
2316-5278
1518-7187
reponame:Cognitio (São Paulo. Online)
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Cognitio (São Paulo. Online)
collection Cognitio (São Paulo. Online)
repository.name.fl_str_mv Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv revcognitio@gmail.com
_version_ 1803387421669195776

Registros relacionados