Naslov (eng)

A note on an alternative Gentzenization of RW◦ +

Autor

Ilić, Mirjana

Opis (eng)

Abstract: In our paper [3], a sequent system GRW◦+ for the contraction-less positive relevant logic with co-tenability, RW◦ +, is considered. Its sequent system with the rule of cut, which does not involve the truth constant t, is presented, and the proof that it admits the elimination of cut is given. However, in the proof of the cut-elimination theorem some forms of proofs, which may cause difficulties for the cut-elimination argument, are not considered. The purpose of this paper is to present them and to re-prove that GRW◦+ admits the elimination of cut.

Opis (eng)

This work was supported by the Ministry of Science and Technology of Serbia, grant number ON 174026

Jezik

engleski

Datum

2021

Licenca

© All rights reserved

Predmet

Keywords: GRW◦+, proofs, cut-elimination

Deo kolekcije (1)

o:28218

Ekonomski fakultet