scientific article; zbMATH DE number 1858065

zbMATH Open1011.03500MaRDI QIDQ4789042FDOQ4789042

Vladimir M. Popov

Publication date: 2 June 2003

Title of this publication is not available (Why is that?)

Recommendations

• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• scientific article; zbMATH DE number 1975407
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• Embedding operations and their application
• Embedding first order predicate logic in fragments of intuitionistic logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (10)

• Title not available (Why is that?)
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• Inverse negation and classical implicative logic
• Title not available (Why is that?)
• Choice of primitives: A note on axiomatizing intuitionistic logic
• Title not available (Why is that?)
• Embedding from multilattice logic into classical logic and vice versa
• Title not available (Why is that?)
• Embedding first order predicate logic in fragments of intuitionistic logic
• Embedding operations and their application

This page was built for publication:

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