Sobre relações de consequência com múltiplas conclusões

Hércules de Araújo Feitosa, Angela Pereira Rodrigues Moreira, Marcelo Reicher Soares

Resumo


Neste artigo tratamos das relações de consequência em ambiente puramente conjuntista e damos ênfase às relações de consequência com conclusões múltiplas. Mostramos como relacionar, nesse ambiente conjuntista, as consequências com conclusões múltiplas e as consequências com conclusão unitária, bem como mostramos que tais relações são casos particulares de sistemas dedutivos de Tarski. Por fim, comparamos as caracterizações apresentadas com as noções usuais de relações reflexivas e transitivas.

Palavras-chave


Operadores de consequência; Relações de consequência; Consequência com conclusões múltiplas.

Texto completo:

PDF

Métricas do artigo

Carregando Métricas ...

Metrics powered by PLOS ALM

Apontamentos

  • Não há apontamentos.


Apoio: