1. Expanding Belnap 2: the dual category in depth
| Title | Expanding Belnap 2: the dual category in depth |
|---|---|
| Author info | Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar |
| Author | Craig Andrew, P. K. (34%) |
| Co-authors | Davey Brian A. (33%) Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky |
| Source document | Categories and General Algebraic Structures with Applications. Vol. 17, no 1 (2022), pp. 47-83. - Teherán : Shahid Beheshti University, 2022 |
| Keywords | bizväzy - bilattices prirodzená dualita Priestleyovská dualita |
| Form. Descr. | články - journal articles |
| Language | English |
| Country | Iran |
| Annotation | 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. |
| URL | Link na plný text |
| Public work category | ADM |
| No. of Archival Copy | 52020 |
| Catal.org. | BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici |
| Database | xpca - PUBLIKAČNÁ ČINNOSŤ |
| References | PERIODIKÁ-Súborný záznam periodika |