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-BzbMATH Open0949.03005OpenAlexW2078736672MaRDI QIDQ4487246FDOQ4487246

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

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

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)

Cited In (2)

• Title not available (Why is that?)
• Constructive embedding from extensions of logics of strict implication into modal logics

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)