The ubiquity of conservative translations

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F12%3A00384231" target="_blank" >RIV/67985840:_____/12:00384231 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1017/S1755020312000226" target="_blank" >http://dx.doi.org/10.1017/S1755020312000226</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1017/S1755020312000226" target="_blank" >10.1017/S1755020312000226</a>

Jazyk výsledku

angličtina

Název v původním jazyce

The ubiquity of conservative translations

Popis výsledku v původním jazyce

We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas canbe conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus (FL) including most nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logicLP is not universal.

Název v anglickém jazyce

The ubiquity of conservative translations

Popis výsledku anglicky

We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas canbe conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus (FL) including most nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logicLP is not universal.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Review of Symbolic Logic

ISSN

1755-0203

e-ISSN

—

Svazek periodika

5

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

12

Strana od-do

666-678

Kód UT WoS článku

000311684800006

EID výsledku v databázi Scopus

—