A Warning About Translating Axioms

DOI10.2307/2309121MaRDI QIDQ3250595zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

philosophy and foundations of mathematics

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Intuitionistic logic is a connexive logic
• 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
• 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)