This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the ...

What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach ...

In a series of previous papers we have studied interrelations between logics through the analysis of translations between them. In this paper, providing some brief historical background, we present a general survey of the ...

The current dissertation has as its main objective an exposition and critical analysis of Charles Kielkopf's translation of the Standard Deontic Logic (SDL) into a normal alethic logic, and the resulting construction of ...

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical ...