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:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical logic quarterly 2016-12, Vol.62 (6), p.465-480
1. Verfasser: Ilic, Mirjana
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
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