Number of the records: 1
Expanding Belnap 2: the dual category in depth
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
Number of the records: 1