scientific article; zbMATH DE number 1858065

zbMATH Open1011.03500MaRDI QIDQ4789042FDOQ4789042

Authors: 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 (17)

• Embedding classical in minimal implicational logic
• Embedding classical propositional logic into paralogics related to Par
• 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
• Nice embedding in classical logic
• An alternative normalization of the implicative fragment of classical logic
• Title not available (Why is that?)
• Choice of primitives: A note on axiomatizing intuitionistic logic
• Title not available (Why is that?)
• An intuitionistic characterization of classical logic
• Embedding from multilattice logic into classical logic and vice versa
• Title not available (Why is that?)
• The Russell-Prawitz embedding and the atomization of universal instantiation
• On constructive fragments of classical logic
• 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)