Deduktivní systémy a Galoisovy konexe

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F04%3A00002065" target="_blank" >RIV/61989592:15310/04:00002065 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Deductive systems and Galois connections

Popis výsledku v původním jazyce

The concept of a b-deductive system is introduced. It is shown a connectionbetween b-deductive systems and congruence kernels. We define a Galoisconnection between sets of binary term functions and systems of subsets of agiven algebra.We study closed sets´with respect to induced closure operatorsand algebraic properties of systems of subsets related to a given termfunction.

Název v anglickém jazyce

Deductive systems and Galois connections

Popis výsledku anglicky

The concept of a b-deductive system is introduced. It is shown a connectionbetween b-deductive systems and congruence kernels. We define a Galoisconnection between sets of binary term functions and systems of subsets of agiven algebra.We study closed sets´with respect to induced closure operatorsand algebraic properties of systems of subsets related to a given termfunction.

Druh

C - Kapitola v odborné knize

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2004

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 knihy nebo sborníku

Galois Connections and Applications

ISBN

1-4020-1898-3

Počet stran výsledku

500

Strana od-do

399-412

Počet stran knihy

—

Název nakladatele

Kluwer

Místo vydání

Dordrecht

Kód UT WoS kapitoly

—