A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200005)46:2<199::AID-MALQ199>3.0.CO;2-B" /><199::AID-MALQ199>3.0.CO;2-B 10.1002/(SICI)1521-3870(200005)46:2<199::AID-MALQ199>3.0.CO;2-BzbMath0949.03005OpenAlexW2078736672MaRDI QIDQ4487246

Mohammad Ardeshir, Mojtaba Aghaei

Publication date: 6 December 2000

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200005)46:2<199::aid-malq199>3.0.co;2-b

zbMATH Keywords

intuitionistic logicintuitionistic propositional logicconstructive logicbasic propositional logicbounded translation

Mathematics Subject Classification ID

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

Related Items (1)

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