Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

To distribute or not to distribute?

Texto completo
Autor(es):
Beziau, Jean-Yves [1] ; Coniglio, Marcelo E. [2, 3]
Número total de Autores: 2
Afiliação do(s) autor(es):
[1] Univ Fed Ceara, Dept Philosophy, Fortaleza, Ceara - Brazil
[2] State Univ Campinas UNICAMP, Inst Philosophy & Human Sci IFCH, Campinas, SP - Brazil
[3] State Univ Campinas UNICAMP, Ctr Log Epistemol & Hist Sci CLE, Campinas, SP - Brazil
Número total de Afiliações: 3
Tipo de documento: Artigo Científico
Fonte: LOGIC JOURNAL OF THE IGPL; v. 19, n. 4, SI, p. 566-583, AUG 2011.
Citações Web of Science: 3
Resumo

In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. A detailed discussion about this phenomenon, as well as some elucidation for it, is given. (AU)

Processo FAPESP: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático