Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza...
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
Universidade Federal de Santa Catarina
2010-01-01
|
| Edice: | Principia: An International Journal of Epistemology |
| On-line přístup: | https://periodicos.ufsc.br/index.php/principia/article/view/19662 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|