New dimensions on translations between logics

DOI10.1007/s11787-009-0002-5zbMath1255.03029OpenAlexW2026687998MaRDI QIDQ1931302

Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli, Marcelo E. Coniglio

Publication date: 25 January 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-009-0002-5

zbMATH Keywords

transferssublogicconservative translationstranslations between logicscontextual translations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items

Nice embedding in classical logic ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Translating non-classical logics into classical logic by using hidden variables ⋮ A coalgebraic perspective on logical interpretations ⋮ Conservative translations revisited ⋮ Why classical logic is privileged: justification of logics based on translatability ⋮ The single-minded pursuit of consistency and its weakness ⋮ The original sin of proof-theoretic semantics ⋮ THE UBIQUITY OF CONSERVATIVE TRANSLATIONS ⋮ Introduction: Logical pluralism and translation ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism ⋮ Universal Logic as a Science of Patterns

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• Paraconsistent logics and translations
• Transfers between logics and their applications
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Recovering a logic from its fragments by meta-fibring
• Institutions: abstract model theory for specification and programming
• Many-Valued Logics and Translations
• Conservative translations