|
|||||
|
|
An alternative Gentzenisation of |
|
| Authors: | Mirjana Ilić |
| Affiliation: | Faculty of Economics, University of Belgrade, Belgrade, Serbia |
| Abstract: | In this paper, we give a sequent calculus  for the positive contraction‐less relevant logic  and we give a proof that it is cut‐free without the use of the truth constant t. Based on  , we re‐prove the decidability of the logic  . |
| Keywords: | |
