Conservative translations

DOI10.1016/S0168-0072(00)00046-4zbMath0983.03007OpenAlexW4213219894MaRDI QIDQ5935991

Hércules de Araújo Feitosa, Itala M. Loffredo D'Ottaviano

Publication date: 24 January 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(00)00046-4

zbMATH Keywords

consequence relationcategory of logics and conservative translationstranslation between logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22)

Related Items (17)

Translating non-classical logics into classical logic by using hidden variables ⋮ A coalgebraic perspective on logical interpretations ⋮ Three-valued logics in modal logic ⋮ New dimensions on translations between logics ⋮ What is a logic translation? ⋮ Metasequents and tetravaluations ⋮ From Inconsistency to Incompatibility ⋮ Representations of structural closure operators ⋮ Conservative translations revisited ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ Refinement by Interpretation in a General Setting ⋮ THE UBIQUITY OF CONSERVATIVE TRANSLATIONS ⋮ Observational Refinement Process ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ Notational variance and its variants ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM) ⋮ Analytical tableaux for da Costa's hierarchy of paraconsistent logics C_n, 1≤n<ω

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Paraconsistent logics and translations
• Maximal weakly-intuitionistic logics
• Many-Valued Logics and Translations
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conservative translations