Lindenbaumology II: Abstract Logical Calculi
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Outros Autores: | |
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/13256 |
Resumo: | In this article, we continue our analysis on the concept of logical calculus, the first part of which was published in the previous issue of this magazine. We also offer a version of Lidenbaum’s theorem for whole consistent theories. |
id |
PUC_SP-15_365b57528e1c2f109603a445cd7e196f |
---|---|
oai_identifier_str |
oai:ojs.pkp.sfu.ca:article/13256 |
network_acronym_str |
PUC_SP-15 |
network_name_str |
Cognitio (São Paulo. Online) |
repository_id_str |
|
spelling |
Lindenbaumology II: Abstract Logical CalculiLindenbaumologia II: Cálculos Lógicos AbstratoslógicacálculoLindenbaumconsistênciacompacidadelogiccalculusLindenbaumconsistencecompacityIn this article, we continue our analysis on the concept of logical calculus, the first part of which was published in the previous issue of this magazine. We also offer a version of Lidenbaum’s theorem for whole consistent theories.Neste artigo, damos prosseguimento à análise do conceito de cálculo lógico, cuja primeira parte foi apresentada no número anterior desta revista. Apresentamos, também, uma versão do Teorema de Lindenbaum para teorias consistentes completas.Pontifícia Universidade Católica de São Paulo2013-01-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13256Cognitio: Revista de Filosofia; No. 3 (2002); 115-121Cognitio: Revista de Filosofia; n. 3 (2002); 115-1212316-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/13256/9771Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessSouza, Edelcio Gonçalves deVelasco, Patrícia Del Nero2024-07-01T13:09:33Zoai:ojs.pkp.sfu.ca:article/13256Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2024-07-01T13:09:33Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false |
dc.title.none.fl_str_mv |
Lindenbaumology II: Abstract Logical Calculi Lindenbaumologia II: Cálculos Lógicos Abstratos |
title |
Lindenbaumology II: Abstract Logical Calculi |
spellingShingle |
Lindenbaumology II: Abstract Logical Calculi Souza, Edelcio Gonçalves de lógica cálculo Lindenbaum consistência compacidade logic calculus Lindenbaum consistence compacity |
title_short |
Lindenbaumology II: Abstract Logical Calculi |
title_full |
Lindenbaumology II: Abstract Logical Calculi |
title_fullStr |
Lindenbaumology II: Abstract Logical Calculi |
title_full_unstemmed |
Lindenbaumology II: Abstract Logical Calculi |
title_sort |
Lindenbaumology II: Abstract Logical Calculi |
author |
Souza, Edelcio Gonçalves de |
author_facet |
Souza, Edelcio Gonçalves de Velasco, Patrícia Del Nero |
author_role |
author |
author2 |
Velasco, Patrícia Del Nero |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Souza, Edelcio Gonçalves de Velasco, Patrícia Del Nero |
dc.subject.por.fl_str_mv |
lógica cálculo Lindenbaum consistência compacidade logic calculus Lindenbaum consistence compacity |
topic |
lógica cálculo Lindenbaum consistência compacidade logic calculus Lindenbaum consistence compacity |
description |
In this article, we continue our analysis on the concept of logical calculus, the first part of which was published in the previous issue of this magazine. We also offer a version of Lidenbaum’s theorem for whole consistent theories. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-01-11 |
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/13256 |
url |
https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13256 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13256/9771 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2013 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; No. 3 (2002); 115-121 Cognitio: Revista de Filosofia; n. 3 (2002); 115-121 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_ |
1803387420787343360 |