THE UBIQUITY OF CONSERVATIVE TRANSLATIONS

DOI10.1017/S1755020312000226zbMath1273.03043arXiv1108.6263OpenAlexW3104106663MaRDI QIDQ4899964

Emil Jeřábek

Publication date: 10 January 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1108.6263

zbMATH Keywords

abstract algebraic logicnonclassical logicsdeductive systemsconservative translationtranslatability between logics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (6)

Nice embedding in classical logic ⋮ Translating non-classical logics into classical logic by using hidden variables ⋮ Conservative translations revisited ⋮ Why classical logic is privileged: justification of logics based on translatability ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism

Cites Work

• Unnamed Item
• Unnamed Item
• Paraconsistent logics and translations
• New dimensions on translations between logics
• What is a logic translation?
• Many-Valued Logics and Translations
• Function Algebras on Finite Sets
• Conservative translations

This page was built for publication: THE UBIQUITY OF CONSERVATIVE TRANSLATIONS