
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/">
  <dc:source>Studia Logica 109(3)</dc:source>
  <dc:creator id="https://orcid.org/0000-0001-9670-5168 https://plus.cobiss.net/cobiss/sr/sr/conor/17546855">Ilić, Mirjana</dc:creator>
  <dc:identifier>https://phaidrabg.bg.ac.rs/o:29497</dc:identifier>
  <dc:identifier>doi:10.1007/s11225-020-09920-3</dc:identifier>
  <dc:identifier>ISSN: 0039-3215</dc:identifier>
  <dc:description xml:lang="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.</dc:description>
  <dc:description xml:lang="eng">Funding This work is supported by the Ministry of Science and Technology
of Serbia [Grant Number ON174026].</dc:description>
  <dc:rights>All rights reserved</dc:rights>
  <dc:language>eng</dc:language>
  <dc:title xml:lang="eng">A Cut-Elimination Proof in Positive Relevant Logic with Necessity</dc:title>
  <dc:date>2021</dc:date>
  <dc:type>info:eu-repo/semantics/article</dc:type>
  <dc:format>application/pdf</dc:format>
  <dc:format>437729 bytes</dc:format>
  <dc:subject xml:lang="eng">Keywords: Relevant logics, Sequent calculi, Admissibility of cut</dc:subject>
</oai_dc:dc>