Conservative translations revisited

DOI10.1007/s10992-022-09691-3MaRDI QIDQ6156208

Cristina Sernadas, João Rasga, Jaime Ramos

Publication date: 13 June 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

consequence systemconservative translationreflection of metatheorems by conservative translation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Theory of logical calculi. Basic theory of consequence operations
• Admissibility of logical inference rules
• Paraconsistent logics and translations
• New dimensions on translations between logics
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• Paraconsistent logic: consistency, contradiction and negation
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Institution-independent model theory
• The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Algebraizable logics
• Axioms for abstract model theory
• Institutions: abstract model theory for specification and programming
• Modulated fibring and the collapsing problem
• THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
• On meet-combination of logics
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
• Some theorems about the sentential calculi of Lewis and Heyting
• Conservative translations
• Conservative translations of four-valued logics in modal logic
• Why classical logic is privileged: justification of logics based on translatability