ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

The Proof-Theoretical Analysis of Contraction-Less Relevant Logics

Journal: Bulletin of the International Mathematical Virtual Institute (Vol.6, No. 1)

Publication Date:

Authors : ;

Page : 1-11

Keywords : relevant logic; cut-free sequent calculus.;

Source : Download Find it from : Google Scholarexternal

Abstract

This is a short overview on gentzenization of some distributive contraction{less relevant logics. We analyze problems which may occur in formulating sequent calculi for the logics RW+ and RW and we give their solutions, the well{known as well as some recent ones.

Last modified: 2016-01-27 18:20:30