Logic TK: Algebraic Notions from Tarski’s Consequence Operator

Principia

Universidade Federal de Santa Catarina
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

Logic TK: Algebraic Notions from Tarski’s Consequence Operator

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

Resumos Cadastrados

Resumo Português:

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções f


Resumo Inglês:

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


© 2024 Sumários.org. Todos os Direitos Reservados
Desenvolvido por  PWS & Host