The Proof-Theoretical Analysis of Contraction-Less Relevant Logics
Journal: Bulletin of the International Mathematical Virtual Institute (Vol.6, No. 1)Publication Date: 2016-01-27
Authors : Mirjana Ilić;
Page : 1-11
Keywords : relevant logic; cut-free sequent calculus.;
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.
Other Latest Articles
- AN INSIGHT INTO THE CHANGING SCENARIO OF AGRICUTURE IN PUNJAB
- Some properties of Lkp -convex sequences
- Edge scattering number of gear graphs
- Nonexistence of positive solutions for a system of higher-order nonlinear boundary value problems
- Multiple Positive Solutions for the System of (n, p)-type Fractional Order Boundary Value Problems
Last modified: 2016-01-27 18:20:30