A Neighbourhood Semantics for the Logic TK
The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2011-05-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/23377 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|