Beyond Mixed Logics

TORANZO CALDERÒN, JOAQUÌN; PAILOS, FEDERICO MATÍAS

LOGIC AND LOGICAL PHILOSOPHY

Nicolaus Copernicus University

Año: 2022

1425-3305

In order to define some interesting consequence relations, some generalizations have been proposed in a many-valued semantic setting, useful to define what has been called pure, mixed and order-theoretic consequence relations. But these generalizations are insufficient to capture some other interesting relations, like other intersective mixed relations (a relation that cannot be defined as a mixed relation, but only as the intersection of two mixed relations) or relations with a conjunctive (or, better, ?universal?) interpretation for multiple conclusions. We propose a broader framework todefine these cases, and many others, and to set a common background that allows for a direct compared analysis. At the end of the work, we illustrate some of these comparisons.