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...
Saved in:
Published in | Journal of applied non-classical logics Vol. 29; no. 1; pp. 97 - 120 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
Taylor & Francis
02.01.2019
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Be the first to leave a comment!