Deductive systems and Galois connections
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Deductive systems and Galois connections
Original language description
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.
Czech name
Deduktivní systémy a Galoisovy konexe
Czech description
Je zaveden pojem b-deduktivního systému a studuje se vztah mezi b-deduktivními systémy a kongruenčními jádry. Definuje se Galoisova konexe mezi množinami binárních termových funkcí a systémy podmnožin dané algebry. Studují se uzavřené množiny vzhledem kindukovaným uzávěrovým operátorům a algebraické vlastnosti systémů podmnožin souvisejících s danou termovou funkcí.
Classification
Type
C - Chapter in a specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Galois Connections and Applications
ISBN
1-4020-1898-3
Number of pages of the result
500
Pages from-to
399-412
Number of pages of the book
—
Publisher name
Kluwer
Place of publication
Dordrecht
UT code for WoS chapter
—