A Note on Natural Extensions in Abstract Algebraic Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F15%3A00436388" target="_blank" >RIV/67985556:_____/15:00436388 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/15:00436388

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s11225-014-9594-8" target="_blank" >http://dx.doi.org/10.1007/s11225-014-9594-8</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11225-014-9594-8" target="_blank" >10.1007/s11225-014-9594-8</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Note on Natural Extensions in Abstract Algebraic Logic

Popis výsledku v původním jazyce

Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting (including all finitary logics and those with countable language) in which they can still be used.

Název v anglickém jazyce

A Note on Natural Extensions in Abstract Algebraic Logic

Popis výsledku anglicky

Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting (including all finitary logics and those with countable language) in which they can still be used.

Druh

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

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA13-14654S" target="_blank" >GA13-14654S: Neklasické výrokové a predikátové logiky: přístup založený na uspořádání</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

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

Studia Logica

ISSN

0039-3215

e-ISSN

—

Svazek periodika

103

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

9

Strana od-do

815-823

Kód UT WoS článku

000358588600008

EID výsledku v databázi Scopus

2-s2.0-84938212488