Abstract
The main purpose of this note is to present “difficult” embeddings of minimal and full intuitionistic logic into classical linear logic, and to prove their soundness and faithfulness. Moreover, it is also pointed out that Girard's translation of intuitionistic logic into classical linear logic is provably equivalent to one of the translations considered in this paper.
Similar content being viewed by others
References
K. Došen [1992], Modal Translations in Substructural Logics,Journal of Philosophical Logic 21:283–336.
J. Y. Girard [1987], Linear Logic,Theoretical Computer Science 50:1–101.
D. Prawitz and P. E. Malmnas [1966], A Survey of Some Connections between Classical, Intuitionistic and Minimal Logic, Contributions to Mathematical Logic,Proceedings of the Logic Colloquium, Hannover 1966, Studies in Logic and the Foundations of Mathematics, North-Holland Publ. Comp., Amsterdam.
H. Schellinx [1991], Some Syntactical Observations on Linear Logic,Journal of Logic and Computation 1:537–559.
A. S. Troelstra [1992], Lectures on Linear Logic,CSU Lecture Notes, No. 29, Leland Stanford Junior University, U.S.A.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Prijatelj, A. Reflections on “difficult” embeddings. J Philos Logic 24, 71–84 (1995). https://doi.org/10.1007/BF01052731
Issue Date:
DOI: https://doi.org/10.1007/BF01052731