Switch to: References

Add citations

You must login to add citations.
  1. Conservative Translations Revisited.J. Ramos, J. Rasga & C. Sernadas - 2023 - Journal of Philosophical Logic 52 (3):889-913.
    We provide sufficient conditions for the existence of a conservative translation from a consequence system to another one. We analyze the problem in many settings, namely when the consequence systems are generated by a deductive calculus or by a logic system including both proof-theoretic and model-theoretic components. We also discuss reflection of several metaproperties with the objective of showing that conservative translations provide an alternative to proving such properties from scratch. We discuss soundness and completeness, disjunction property and metatheorem of (...)
    Download  
     
    Export citation  
     
    Bookmark