Translations of Logical Formulas and the Equiconsistency Problem

DOI10.1002/MALQ.19940400107MaRDI QIDQ4304148zbMATH OpenOpenAlexWikidataFDO

Authors A. A. Kuzichev

Publication date 8 September 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19940400107

zbMATH Keywords

equiconsistencytranslation of logical formulas

Mathematics Subject Classification ID

Classical first-order logic (03B10) Relative consistency and interpretations (03F25)

Recommendations

• scientific article; zbMATH DE number 3946092
• The ubiquity of conservative translations
• Synonymous logics
• What is a logic translation?
• Translations between logical systems: A manifesto

Cited in

(7)

• Note on grammatical translations of logical calculi
• scientific article; zbMATH DE number 3885301 (Why is no real title available?)
• A Warning About Translating Axioms
• scientific article; zbMATH DE number 3946092 (Why is no real title available?)
• Mutual Transformability of the Formulas of the Languages Of MarkovL2ω AND Rω
• scientific article; zbMATH DE number 4077168 (Why is no real title available?)
• Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology

This page was built for publication: Translations of Logical Formulas and the Equiconsistency Problem

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