A translation of intuitionistic predicate logic into basic predicate logic

DOI10.1023/A:1005196310070zbMath0932.03006OpenAlexW1482252656MaRDI QIDQ1300007

Mohammad Ardeshir

Publication date: 13 March 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005196310070

zbMATH Keywords

translationbasic predicate logicsubsystem of intuitionistic predicate logic

Mathematics Subject Classification ID

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

Related Items (3)

Arithmetical realizability and primitive recursive realizability ⋮ Binary modal companions for subintuitionistic logics ⋮ Proof complexity of substructural logics

This page was built for publication: A translation of intuitionistic predicate logic into basic predicate logic