Varieties of positive modal algebras and structural completeness

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00504824" target="_blank" >RIV/67985807:_____/19:00504824 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Varieties of positive modal algebras and structural completeness

Popis výsledku v původním jazyce

Positive modal algebras are the〈∧,∨, 3, D, 0, 1〉-subreducts of modal algebras. We show that the variety of positive interior algebras is not locally finite. However, the free one-generated positive interior algebra has 37 elements. Moreover, we show that there are exactly 16 varieties of height at most 4 in the lattice of varieties of positive interior algebras. Building on this, we infer that there are only 3 non-trivial structurally complete varieties of positive K4-algebras. These are also the unique non-trivial hereditarily structurally complete such varieties. Moreover, we characterize passively structurally complete varieties of positive K4-algebras and show that there are infinitely many of them. These results are related to the study of structurally complete axiomatic extensions of an algebraizable Gentzen system for positive modal logic.

Název v anglickém jazyce

Varieties of positive modal algebras and structural completeness

Popis výsledku anglicky

Positive modal algebras are the〈∧,∨, 3, D, 0, 1〉-subreducts of modal algebras. We show that the variety of positive interior algebras is not locally finite. However, the free one-generated positive interior algebra has 37 elements. Moreover, we show that there are exactly 16 varieties of height at most 4 in the lattice of varieties of positive interior algebras. Building on this, we infer that there are only 3 non-trivial structurally complete varieties of positive K4-algebras. These are also the unique non-trivial hereditarily structurally complete such varieties. Moreover, we characterize passively structurally complete varieties of positive K4-algebras and show that there are infinitely many of them. These results are related to the study of structurally complete axiomatic extensions of an algebraizable Gentzen system for positive modal logic.

Druh

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

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

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)

Rok uplatnění

2019

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

12

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

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

Počet stran výsledku

32

Strana od-do

557-588

Kód UT WoS článku

000483091300006

EID výsledku v databázi Scopus

2-s2.0-85067359071