Conservative translations revisited
From MaRDI portal
Publication:6156208
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)
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