| SYS | | 0313192 |
|---|
| LBL | | -----naa--22--------450- |
|---|
| 005 | | 20220926143401.8 |
|---|
| 014 | | $a 000848355300002 $2 WOS CC. ESCI |
|---|
| 014 | | $a 2-s2.0-85136085420 $2 SCOPUS |
|---|
| 017 | 70 | $a 10.52547/cgasa.17.1.47 $2 DOI |
|---|
| 035 | | $a biblio/510630 $2 CREPC2 |
|---|
| 100 | | $a 20220920d2022 m y slo 03 ba |
|---|
| 101 | 0- | $a eng |
|---|
| 102 | | $a IR |
|---|
| 200 | 1- | $a Expanding Belnap 2: the dual category in depth $f Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar |
|---|
| 330 | | $a Bizväzy poskytujú algebraický nástroj na simultánne modelovanie pravdivosti a informácie. Boli zavedené N. Belnapom v r. 1977 v článku nazvanom Ako by mal počítač myslieť. Okrem klasických pravdivostných hodnôt t (pravda) a f (nepravda) mal Belnapov príklad aj pravdivostné hodnoty ⅂ (priveľa informácií resp. rozporuplné informácie) a ⅃ (žiadna informácia). Majú aplikácie v umelej inteligencii, logickom programovaní alebo v rozpoznávaní obrazcov. V predchádzajúcej práci týchto autorov z r. 2021 publikovanej v Algebre Universalis sme zaviedli pre každé prirodzené číslo 𝑛 novú triedu bizväzov J𝑛, ktorá zahŕňa Belnapov seminálny príklad (ako bizväz J0). Skonštruovali sme tiež prirodzenú dualitu pre ekvacionálnu triedu V𝑛 algebier generovanú bizväzom J𝑛, kde duálna kategória X𝑛 pozostáva z tzv. multi-sortových topologických štruktúr. V súčasnej nadväzujúcej práci axiomatizujeme duálnu kategóriu X𝑛 a ukazujeme, že je izomorfná s kategóriou Y𝑛 jedno-sortových topologických štruktúr. Ukazujeme ako konštruovať Priestleyovej duál bizväzu v triede V𝑛 prostredníctvom duálu v triede Y𝑛. Ako aplikáciu ukazujeme, že jedno-generovaný voľný bizväz v triede V𝑛 má veľkosť danú konkrétnym polynómom stupňa 6. |
|---|
| 463 | -1 | $1 001 umb_un_cat*0313321 $1 011 $a 2345-5853 $1 011 $a 2345-5861 $1 200 1 $a Categories and General Algebraic Structures with Applications $v Vol. 17, no 1 (2022), pp. 47-83 $1 210 $a Teherán $c Shahid Beheshti University $d 2022 |
|---|
| 606 | | $3 umb_un_auth*0294686 $a bizväzy $X bilattices |
|---|
| 606 | 0- | $3 umb_un_auth*0087894 $a prirodzená dualita |
|---|
| 606 | 0- | $3 umb_un_auth*0131617 $a Priestleyovská dualita |
|---|
| 608 | | $3 umb_un_auth*0273282 $a články $X journal articles |
|---|
| 700 | -1 | $3 umb_un_auth*0226852 $a Craig $b Andrew, P. K. $4 070 $9 34 |
|---|
| 701 | -0 | $3 umb_un_auth*0003450 $a Davey $b Brian A. $4 070 $9 33 |
|---|
| 701 | -0 | $3 umb_un_auth*0002686 $a Haviar $b Miroslav $p UMBFP10 $4 070 $9 33 $f 1965- $T Katedra matematiky |
|---|
| 801 | | $a SK $b BB301 $g AACR2 $9 unimarc sk |
|---|
| 856 | | $u https://cgasa.sbu.ac.ir/article_102443_eee83c99c3f1c6a0c84198810233eae9.pdf $a Link na plný text |
|---|
| T85 | | $x existuji fulltexy |
|---|
