About consequence relations with multiple conclusions

In this article we deal with consequence relations in an environment restricted to the set theory and emphasize the consequence relations with multiple conclusions. We show how to relate, in this environment, the consequences with multiple conclusions and consequence with unitary conclusion, and we...

Descripción completa

Detalles Bibliográficos
Autores: Feitosa, Hércules de Araújo, Moreira, Angela Pereira Rodrigues, Soares, Marcelo Reicher
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2016
País:Brasil
Institución:Pontifícia Universidade Católica de São Paulo (PUC-SP)
Repositorio:Cognitio (São Paulo. Online)
Idioma:portugués
OAI Identifier:oai:ojs.pkp.sfu.ca:article/30219
Acceso en línea:https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/30219
Access Level:acceso abierto
Palabra clave:Consequence operators
Consequence relations
Consequence with multiple conclusions.
Operadores de consequência
Relações de consequência
Consequência com conclusões múltiplas.
Descripción
Sumario:In this article we deal with consequence relations in an environment restricted to the set theory and emphasize the consequence relations with multiple conclusions. We show how to relate, in this environment, the consequences with multiple conclusions and consequence with unitary conclusion, and we show that such relations are particular cases of deductive systems of Tarski. Finally, we compare the characterizations presented with the usual concepts of reflexive and transitive relations.