On a generalization of Heyting algebras I.
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F25%3A00637595" target="_blank" >RIV/67985840:_____/25:00637595 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/s11225-024-10110-8" target="_blank" >https://doi.org/10.1007/s11225-024-10110-8</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11225-024-10110-8" target="_blank" >10.1007/s11225-024-10110-8</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On a generalization of Heyting algebras I.
Popis výsledku v původním jazyce
∇-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of ∇-algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for ∇-algebras by which we establish the amalgamation property for some varieties of ∇-algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories.
Název v anglickém jazyce
On a generalization of Heyting algebras I.
Popis výsledku anglicky
∇-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of ∇-algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for ∇-algebras by which we establish the amalgamation property for some varieties of ∇-algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2025
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ů
Údaje specifické pro druh výsledku
Název periodika
Studia Logica
ISSN
0039-3215
e-ISSN
1572-8730
Svazek periodika
113
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
45
Strana od-do
645-689
Kód UT WoS článku
001217441300006
EID výsledku v databázi Scopus
2-s2.0-85192016854