Logic TK: Algebraic Notions from Tarski’s Consequence Operator

Logic TK: Algebraic Notions from Tarski’s Consequence Operator

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza...

Full description

Saved in:
Bibliographic Details
Main Authors: Hércules A. Feitosa, Mauri C. do Nascimento, Maria Claudia C. Grácio
Format: Article
Language:English
Published: Universidade Federal de Santa Catarina 2010-01-01
Series:Principia: An International Journal of Epistemology
Online Access:https://periodicos.ufsc.br/index.php/principia/article/view/19662
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items