Ternary deductive systems

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F01%3A00001437" target="_blank" >RIV/61989592:15310/01:00001437 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Ternary deductive systems
Popis výsledku v původním jazyce
The concept of deductive system was introduced for Hilbert algebras by A. Diego. It was shown by W. Dudek that deductive systems and ideals coincide in Hilbert algebras. This particular case was generalized in (2) for universal algebras, where the concept of deductive system was defined in a quite general setting and was shown that in any algebra of a weakly regular variety deductive systems and congruence kernels coincide.It is shown that the concept used in (1) can be extended in universal algebra.
Název v anglickém jazyce
Ternary deductive systems
Popis výsledku anglicky
The concept of deductive system was introduced for Hilbert algebras by A. Diego. It was shown by W. Dudek that deductive systems and ideals coincide in Hilbert algebras. This particular case was generalized in (2) for universal algebras, where the concept of deductive system was defined in a quite general setting and was shown that in any algebra of a weakly regular variety deductive systems and congruence kernels coincide.It is shown that the concept used in (1) can be extended in universal algebra.

Rok uplatnění
2001
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ů

Podobné výsledky(10)