A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

DOI10.1002/(SICI)1521-3870(200005)46:2%3C199::AID-MALQ199%3E3.0.CO;2-BMaRDI QIDQ4487246zbMATH OpenOpenAlexFDO

Authors Mojtaba Aghaei, Mohammad Ardeshir

Publication date 6 December 2000

Full work available at URL https://doi.org/10.1002/(sici)1521-3870(200005)46:2%3C199::aid-malq199%3E3.0.co;2-b

zbMATH Keywords

constructive logicintuitionistic logicintuitionistic propositional logicbasic propositional logicbounded translation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Complexity of proofs (03F20)

Recommendations

• A translation of intuitionistic predicate logic into basic predicate logic
• scientific article; zbMATH DE number 1975407
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• Deciding intuitionistic propositional logic via translation into classical logic
• Modal translations in substructural logics

Cited in

(2)

• Constructive embedding from extensions of logics of strict implication into modal logics
• scientific article; zbMATH DE number 698627 (Why is no real title available?)

This page was built for publication: A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

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