A translation of intuitionistic predicate logic into basic predicate logic

DOI10.1023/A:1005196310070MaRDI QIDQ1300007zbMATHOpenAlexFDO

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

Recommendations

• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
• Basic predicate calculus
• Modal translations in substructural logics
• A Gentzen-style axiomatization for basic predicate calculus

Cited in

(9)

• Proof complexity of substructural logics
• Arithmetical realizability and primitive recursive realizability
• scientific article; zbMATH DE number 4164812 (Why is no real title available?)
• scientific article; zbMATH DE number 2015281 (Why is no real title available?)
• Binary modal companions for subintuitionistic logics
• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
• Kolmogorov and Kuroda translations into basic predicate logic
• A system of predicate logic with trans-atomic units
• A Gentzen-style axiomatization for basic predicate calculus

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

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