Reflections on ``difficult embeddings

DOI10.1007/BF01052731zbMath0816.03003MaRDI QIDQ1344853

Andreja Prijatelj

Publication date: 22 February 1995

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicanalysis of sequent derivationsembedding of predicate minimal logic into classical linear logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Linear logic
• Modal translations in substructural logics
• Some Syntactical Observations on Linear Logic

This page was built for publication: Reflections on ``difficult embeddings