Reflections on ``difficult embeddings

DOI10.1007/BF01052731zbMATH Open0816.03003MaRDI QIDQ1344853FDOQ1344853

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

• Title not available (Why is that?)
• Linear logic
• Some Syntactical Observations on Linear Logic
• Modal translations in substructural logics

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Embeddings and expansions 👍 👎
• Embeddings of representations 👍 👎
• Embedding as a modeling problem 👍 👎
• Essential reflections versus minimal embeddings 👍 👎
• On an embedding problem 👍 👎
• Learning Theory 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344853)