A Warning About Translating Axioms

DOI10.2307/2309121zbMATH Open0082.01504OpenAlexW2334523030WikidataQ114588850 ScholiaQ114588850MaRDI QIDQ3250595FDOQ3250595

Authors:

Publication date: 1958

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2309121

Recommendations

• Axiomatization via translation: Hiż's warning for predicate logic
• scientific article; zbMATH DE number 1406469
• The axiomatic translation principle for modal logic
• On Axioms and Rexpansions
• Translations between logical systems: A manifesto
• On translating between logics
• scientific article; zbMATH DE number 490758
• Localizing the axioms
• Translations of Logical Formulas and the Equiconsistency Problem
• Note on grammatical translations of logical calculi

zbMATH Keywords

philosophy and foundations of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited In (6)

• Notational variance and its variants
• Choice of primitives: A note on axiomatizing intuitionistic logic
• Zolin and Pizzi: defining necessity from noncontingency
• The logic of non-contingency
• Intuitionistic logic is a connexive logic
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

This page was built for publication: A Warning About Translating Axioms

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