A translation of intuitionistic predicate logic into basic predicate logic

DOI10.1023/A:1005196310070zbMATH Open0932.03006OpenAlexW1482252656MaRDI QIDQ1300007FDOQ1300007

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

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

zbMATH Keywords

translationbasic predicate logicsubsystem of intuitionistic predicate logic

Mathematics Subject Classification ID

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

Cited In (8)

• A system of predicate logic with trans-atomic units
• Binary modal companions for subintuitionistic logics
• A Gentzen-style axiomatization for basic predicate calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Arithmetical realizability and primitive recursive realizability
• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
• Proof complexity of substructural logics

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)