Naslov (eng)

A Cut-Elimination Proof in Positive Relevant Logic with Necessity

Autor

Ilić, Mirjana

Opis (eng)

Abstract. This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut.

Opis (eng)

Funding This work is supported by the Ministry of Science and Technology of Serbia [Grant Number ON174026].

Jezik

engleski

Datum

2021

Licenca

© All rights reserved

Predmet

Keywords: Relevant logics, Sequent calculi, Admissibility of cut

Deo kolekcije (1)

o:28218

Ekonomski fakultet