scientific article; zbMATH DE number 1975407

MaRDI QIDQ4424650zbMATH OpenFDO

Authors Vladimir M. Popov

Publication date 4 September 2003

zbMATH Keywords

intuitionistic propositional logicpositive fragment

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

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

Cited in

(10)

• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• Instantiation overflow
• Positive formulas in intuitionistic and minimal logic
• Embedding first order predicate logic in fragments of intuitionistic logic
• A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
• Implementing fragments of ZFC within an r.e. Universe
• scientific article; zbMATH DE number 1858065 (Why is no real title available?)
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• scientific article; zbMATH DE number 2209833 (Why is no real title available?)

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 Q4424650)