|
|||||
|
|
A Cut-Elimination Proof in Positive Relevant Logic with Necessity |
|
| Authors: | Ilić Mirjana |
| Institution: | 1.University of Belgrade, Faculty of Economics, Kameni?ka 6, Belgrade, Serbia ; |
| Abstract: | Studia Logica - This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |