CONICET | Buscador de Institutos y Recursos Humanos

We will present twelve diﬀerent mixed metainferential consequence relations. Each one of them is speciﬁed using two diﬀerent inferential Tarskian or non-Tarskian consequence relations: K3, LP, ST or TS. We will show that it is possible to obtain a Tarskian logic with non-Tarskian inferential logics, but also a non-Tarskian logic with Tarskian inferential logics. Moreover, we will show how some of these metainferential logics work better than the corresponding inferential rivals. Finally, we will show how these logics prove that it is not enough to work with inferences as pairs of sets of formulas to obtain a contractive logic.