A family of metainferential logics

We will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: or . We will show that it is possible to obtain a Tarskian logic with non-Tarskian inferential logics, but also a no...

Full description

Saved in:
Bibliographic Details
Published inJournal of applied non-classical logics Vol. 29; no. 1; pp. 97 - 120
Main Author Pailos, Federico Matias
Format Journal Article
LanguageEnglish
Published Taylor & Francis 02.01.2019
Subjects
Online AccessGet full text

Cover

Loading…