Počet záznamů: 1  

The ubiquity of conservative translations

  1. 1.
    SYSNO ASEP0384231
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve WOS
    NázevThe ubiquity of conservative translations
    Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID
    Zdroj.dok.Review of Symbolic Logic. - : Cambridge University Press - ISSN 1755-0203
    Roč. 5, č. 4 (2012), s. 666-678
    Poč.str.12 s.
    Jazyk dok.eng - angličtina
    Země vyd.GB - Velká Británie
    Klíč. slovaconservative translation ; deductive system ; nonclassical logic
    Vědní obor RIVBA - Obecná matematika
    CEPIAA100190902 GA AV ČR - Akademie věd
    1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    Institucionální podporaMU-W - RVO:67985840
    UT WOS000311684800006
    DOI10.1017/S1755020312000226
    AnotaceWe 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 can be 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 logic LP is not universal.
    PracovištěMatematický ústav
    KontaktJarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
    Rok sběru2013
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.