Epimorphisms in Varieties of Residuated Structures

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F17%3A00478590" target="_blank" >RIV/67985807:_____/17:00478590 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.jalgebra.2017.08.023" target="_blank" >http://dx.doi.org/10.1016/j.jalgebra.2017.08.023</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.jalgebra.2017.08.023" target="_blank" >10.1016/j.jalgebra.2017.08.023</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Epimorphisms in Varieties of Residuated Structures

Popis výsledku v původním jazyce

It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Gödel algebras, relative Stone algebras, Sugihara monoids or positive Sugihara monoids. This establishes the infinite deductive Beth definability property for a corresponding range of substructural logics. On the other hand, it is shown that epimorphisms need not be surjective in a locally finite variety of Heyting or Brouwerian algebras of width 2. It follows that the infinite Beth property is strictly stronger than the so-called finite Beth property, confirming a conjecture of Blok and Hoogland.

Název v anglickém jazyce

Epimorphisms in Varieties of Residuated Structures

Popis výsledku anglicky

It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Gödel algebras, relative Stone algebras, Sugihara monoids or positive Sugihara monoids. This establishes the infinite deductive Beth definability property for a corresponding range of substructural logics. On the other hand, it is shown that epimorphisms need not be surjective in a locally finite variety of Heyting or Brouwerian algebras of width 2. It follows that the infinite Beth property is strictly stronger than the so-called finite Beth property, confirming a conjecture of Blok and Hoogland.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA17-04630S" target="_blank" >GA17-04630S: Predikátové škálované logiky a jejich aplikace v informatice</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

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

Journal of Algebra

ISSN

0021-8693

e-ISSN

—

Svazek periodika

492

Číslo periodika v rámci svazku

15 December

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

27

Strana od-do

185-211

Kód UT WoS článku

000413129900011

EID výsledku v databázi Scopus

2-s2.0-85031293860