dc.contributorUniversidade Federal de Santa Catarina (UFSC)
dc.contributorUniversidade Estadual Paulista (Unesp)
dc.date.accessioned2016-03-02T12:57:48Z
dc.date.available2016-03-02T12:57:48Z
dc.date.created2016-03-02T12:57:48Z
dc.date.issued2011
dc.identifierPrincipia, v. 15, n. 2, p. 287-302, 2011.
dc.identifier1414-4247
dc.identifierhttp://hdl.handle.net/11449/134645
dc.identifier10.5007/1808-1711.2011v15n2p287
dc.identifierISSN1414-4247-2011-15-02-287-302.pdf
dc.identifier0739734390426687
dc.description.abstractThe 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.abstractA 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.languageeng
dc.relationPrincipia
dc.rightsAcesso aberto
dc.sourceCurrículo Lattes
dc.subjectConsequence operator
dc.subjectTK algebra
dc.subjectTK logic
dc.subjectNeighbourhood semantics
dc.subjectOperador de consequência
dc.subjectÁlgebra TK
dc.subjectLógica TK
dc.subjectSemântica de vizinhanças
dc.titleA neighbourhood semantic for the Logic TK
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución