Lindenbaumology II: Abstract Logical Calculi
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.
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2013 |
| Country: | Brasil |
| Institution: | Pontifícia Universidade Católica de São Paulo (PUC-SP) |
| Repository: | Cognitio (São Paulo. Online) |
| Language: | Portuguese |
| OAI Identifier: | oai:ojs.pkp.sfu.ca:article/13256 |
| Online Access: | https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13256 |
| Access Level: | Open access |
| Keyword: | lógica cálculo Lindenbaum consistência compacidade logic calculus consistence compacity |
| Summary: | 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. |
|---|