Embedding operations and their application

MaRDI QIDQ5395248zbMATH OpenFDO

Authors

Publication date 2 November 2006

zbMATH Keywords

classical logicintuitionistic logicparaconsistent logicstranslations between logic systems

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Recommendations

• Embedding classical propositional logic into paralogics related to Par
• scientific article; zbMATH DE number 1858065
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• Reflections on ``difficult embeddings

Cited in

(12)

• Embedding friendly first-order paradefinite and connexive logics
• Corrections and additions to my paper ``A note on unprovability-preserving sound translations, more general constructions
• Generalized ordinal sums and translations
• Nice embedding in classical logic
• scientific article; zbMATH DE number 5657421 (Why is no real title available?)
• scientific article; zbMATH DE number 1735929 (Why is no real title available?)
• scientific article; zbMATH DE number 1463147 (Why is no real title available?)
• Embeddings of propositional monomodal logics
• scientific article; zbMATH DE number 1858065 (Why is no real title available?)
• Reassurance via translation
• Embedding classical propositional logic into paralogics related to Par
• An intuitionistic characterization of classical logic

This page was built for publication: Embedding operations and their application

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