dc.contributor | Universidade Federal de Santa Catarina (UFSC) | |
dc.contributor | Universidade Estadual Paulista (Unesp) | |
dc.date.accessioned | 2016-03-02T12:57:48Z | |
dc.date.available | 2016-03-02T12:57:48Z | |
dc.date.created | 2016-03-02T12:57:48Z | |
dc.date.issued | 2011 | |
dc.identifier | Principia, v. 15, n. 2, p. 287-302, 2011. | |
dc.identifier | 1414-4247 | |
dc.identifier | http://hdl.handle.net/11449/134645 | |
dc.identifier | 10.5007/1808-1711.2011v15n2p287 | |
dc.identifier | ISSN1414-4247-2011-15-02-287-302.pdf | |
dc.identifier | 0739734390426687 | |
dc.description.abstract | 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 completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4. | |
dc.description.abstract | A lógica TK foi introduzida como uma lógica proposicional estendendo o cálculo proposicional clássico com um novo operador unário que interpreta algumas concepções do operador de consequência de Tarski. TK-álgebras foram introduzidas como modelos para TK. Assim, usando ferramentas algébricas, foi demonstrada a adequação (correção e completude) de TK relativamente às TK-álgebras. Este trabalho apresenta uma semântica de vizinhanças para TK, lógica que resulta ser dedutivamente equivalente à lógica modal não normal EMT4. | |
dc.language | eng | |
dc.relation | Principia | |
dc.rights | Acesso aberto | |
dc.source | Currículo Lattes | |
dc.subject | Consequence operator | |
dc.subject | TK algebra | |
dc.subject | TK logic | |
dc.subject | Neighbourhood semantics | |
dc.subject | Operador de consequência | |
dc.subject | Álgebra TK | |
dc.subject | Lógica TK | |
dc.subject | Semântica de vizinhanças | |
dc.title | A neighbourhood semantic for the Logic TK | |
dc.type | Artículos de revistas | |