Classical multiplicative linear logic - intuitionistic mll.

##plugins.themes.bootstrap3.article.sidebar##

PDF
Published: 04.08.2000
DOI: https://doi.org/10.21146/2074-1472-2000-7-0-132-136

##plugins.themes.bootstrap3.article.main##

G. Mints
S. Soloviev

Abstract

It is known how to present every deduction in the {!, I}-free Classical Multiplicative Linear Logic as (the result of an obvious translation of) a deduction in the intuitionistic MLL. We extend the result to the language with I and give short proofs which do not use proof nets.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

How to Cite
Mints G., Soloviev S. Classical multiplicative linear logic - intuitionistic mll. // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 132-136.
Issue
Vol 7 (2000)
Section
Papers