Proving since ever? An inferential approach to compactness in propositional logic
An inferential approach to compactness/finitude in propositional logic.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
2022-01-01
|
| Series: | O Que Nos Faz Pensar |
| Online Access: | http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/811 |