Conservative translations

DOI10.1016/S0168-0072(00)00046-4zbMath0983.03007MaRDI 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)

zbMATH Keywords

consequence relation; category of logics and conservative translations; translation between logics

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03B22: Abstract deductive systems

Related Items

THE UBIQUITY OF CONSERVATIVE TRANSLATIONS, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, Observational Refinement Process, A coalgebraic perspective on logical interpretations, Three-valued logics in modal logic, Representations of structural closure operators, New dimensions on translations between logics, What is a logic translation?, Notational variance and its variants, Translating non-classical logics into classical logic by using hidden variables, Refinement by Interpretation in a General Setting, 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