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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/s11787-009-0005-2 | Logica Universalis |
Keywords | DocType | Volume |
03B20, 03B22, 03B70, 03G30, 18C50, 68Q65 | Journal | 3 |
Issue | ISSN | Citations |
1 | 1661-8300 | 11 |
PageRank | References | Authors |
0.72 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Till Mossakowski | 1 | 1052 | 90.11 |
Razvan Diaconescu | 2 | 571 | 40.93 |
Andrzej Tarlecki | 3 | 1514 | 124.61 |