Logic TK: Algebraic Notions from Tarski’s Consequence Operator

Principia

Endereço:

Campus Universitário, Caixa Postal 476

Florianópolis / SC

0

Site: http://www.periodicos.ufsc.br/index.php/principia/index

Telefone: (48) 3721-8612

ISSN: 1808-1711

Editor Chefe: Luiz Henrique Araújo Dutra

Início Publicação: 31/05/2007

Periodicidade: Quadrimestral

Área de Estudo: Filosofia

Ano: 2010 | Volume: 14 | Número: 1

Autores: Hércules A. Feitosa, Mauri C. do Nascimento, Maria Claudia C. Grácio
Autor Correspondente: Hércules Feitosa | [email protected]

Palavras-chave: espaÃ§o de tarski, espaÃ§o quase topolÃ³gico, operador de consequÃªncia, lÃ³gica modal, modelo algÃ©brico

Tarski apresentou sua definiÃ§Ã£o de operador de consequÃªncia com a intenÃ§Ã£o de expor as concepÃ§Ãµes f

Tarski presented his definition of consequence operator to explain the most important notions which