[BibTeX] [RIS]
What is a logic translation?
Type of publication: Article
Citation: Mossakowski07
Journal: Logica Universalis
Volume: 3
Number: 1
Year: 2009
Pages: 95-124
Note: Winner of the universal logic 2007 contest.
DOI: 10.1007/s11787-009-0005-2
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 sublogic, 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.
Userfields: bdsk-url-1={http://dx.doi.org/10.1007/s11787-009-0005-2}, pdfurl={http://www.informatik.uni-bremen.de/~till/papers/mor.pdf}, project={I4-SPIN}, status={Reviewed},
Keywords: logic translation institution
Authors Mossakowski, Till
Tarlecki, Andrzej
Diaconescu, Razvan
Attachments
  • http://dx.doi.org/10.1007/s117...
  • http://www.informatik.uni-brem...
Notes
    Topics