An alternative Gentzenisation of RW
In this paper, we give a sequent calculus GRW+∘ for the positive contraction‐less relevant logic RW+∘ and we give a proof that it is cut‐free without the use of the truth constant t. Based on GRW+∘, we re‐prove the decidability of the logic RW+∘.
Gespeichert in:
Veröffentlicht in: | Mathematical logic quarterly 2016-12, Vol.62 (6), p.465-480 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | In this paper, we give a sequent calculus GRW+∘ for the positive contraction‐less relevant logic RW+∘ and we give a proof that it is cut‐free without the use of the truth constant t. Based on GRW+∘, we re‐prove the decidability of the logic RW+∘. |
---|---|
ISSN: | 0942-5616 1521-3870 |
DOI: | 10.1002/malq.201400084 |