To distribute or not to distribute?

Author(s)

Beziau, Jean-Yves ; Coniglio, Marcelo E.

• Document type: Journal article
• Source: LOGIC JOURNAL OF THE IGPL; v. 19, n. 4, p. 18-pg., 2011-08-01.

Abstract

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)

• FAPESP's process: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
• Grantee: Walter Alexandre Carnielli
• Support Opportunities: Research Projects - Thematic Grants