Search results
Title Categories and General Algebraic Structures with Applications Issue data Teherán : Shahid Beheshti University , 2022 ISSN 2345-58532345-5861 Form. Descr. časopisy - journals, elektronické časopisy - electronic journals Year, No. Vol. 17 no. 1 (2022) Language English Country Iran URL Link na zdrojový dokument Public work category GII Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References - PERIODIKÁ - Súborný záznam periodika (1) - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika ARTICLES 2022: 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 Title Categories and General Algebraic Structures with Applications Issue data Teherán : Shahid Beheshti University , 2013- ISSN 2345-58532345-5861 Form. Descr. časopisy - journals, elektronické časopisy - electronic journals Language English Country Iran URL Link na zdrojový dokument Public work category GII Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xszp - PERIODIKÁ - Súborný záznam periodika References (2) - PUBLIKAČNÁ ČINNOSŤ Title A search for roots of a crisis and for innermost values to reunite man and land Par.title Hľadanie koreňov krízy a vnútorných hodnôt pre znovuspojenie človeka a krajiny Author info Peter Jančura, Peter Sabo, Sylvia Surovcová, Pavol Maliniak Author Jančura Peter (33%)
Another authors Sabo Peter 1954- (Author) (33%) UMBUV01 - Ústav vedy a výskumu
Surovcová Silvia (Author) (20%)
Maliniak Pavol 1979- (Author) (14%) UMBUV01 - Ústav vedy a výskumu
Source document Ecological Complexity and Sustainability : abstracts of ECO summit 2007. S. 256. - Teherán : Economic Cooperation Organisation, 2007 Keywords percepcia krajiny ľudská identita trvalá udržateľnosť landscape perception human identity udržateľnosť - sustainability Language English Country Slovak Republic systematics 574 Public work category AFG No. of Archival Copy 6359 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ