What is a Logic Translation? (abstract)
We study logic translations from an abstract perspective,
without any commitment to the structure of sentences and the nature of
logical entailment, which also means that we cover both proof-
theoretic and model-theoretic entailment. We show how logic translations
induce notions of logical expressiveness, consistency strength and sublog-
ic, leading to an explanation of paradoxes that have been described in
the literature. Connectives and quantifiers, although not present in the
definition of logic and logic translation, can be recovered by their abstract
properties and are preserved and reflected by translations under suitable
conditions.
back to Selected Publications