Počet záznamů: 1
The ubiquity of conservative translations
- 1.
SYSNO ASEP 0384231 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název The 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-678Poč.str. 12 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova conservative translation ; deductive system ; nonclassical logic Vědní obor RIV BA - Obecná matematika CEP IAA100190902 GA AV ČR - Akademie věd 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Institucionální podpora MU-W - RVO:67985840 UT WOS 000311684800006 DOI 10.1017/S1755020312000226 Anotace 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 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 Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2013
Počet záznamů: 1