Number of the records: 1  

Expanding Belnap 2: the dual category in depth

  1. TitleExpanding Belnap 2: the dual category in depth
    Author infoAndrew 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
    LanguageEnglish
    CountryIran
    AnnotationBizvä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 Copy52020
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    ReferencesPERIODIKÁ-Súborný záznam periodika
    Title
    Thermophysical properties of OSB boards versus equilibrium moisture content
    Author info
    Rastislav Igaz, Ľuboš Krišťák ... [et al.]
    AuthorCo-authors
    Krišťák Ľuboš (25%)
    Ružiak Ivan (25%)
    Gajtanska Milada (10%)
    Kučerka Martin 1980- (10%) UMBFP07 - Katedra techniky a technológií
    Source document
    BioResources. Vol. 12, no. 4 (2017), pp. 8106-8118. - Raleigh : North Carolina State University, 2017
    Keywords
     
     
     
    Language
    Slovak
    Country
    United States of America
    systematicsAnnotation
    The basic thermophysical properties of oriented strand boards were determined experimentally for use in humid conditions (OSB3) depending on the moisture content. The dependency between the thermal conductivity, thermal diffusivity, specific heat capacity, and the moisture content in the range of 0% to 10%, was examined. The non-stationary extended dynamic plane source (EDPS) experimental method was used. EDPS method was modified for anisotropic materials, i.e. with special considerations of heat-loss effect occurring at the edge of measuring samples, finite geometry of the sample and orthotropic thermal conductivity, for use with anisotropic materials. The validity of the experimental method was verified on polymethylmethacrylate (PMMA) samples. The error rate of measurements conducted on PMMA samples was less than 3%, and for OSB3 boards it was less than 5.5%. Based on the experimental results, regression equations of the dependency between the monitored properties and the moisture content were determined. In the case of thermal conductivity and thermal capacity, the determined dependencies showed a high correlation rate
    URLPublic work categoryNo. of Archival Copy
    41924
    Repercussion category
    GEJDOŠ, Miloš - LIESKOVSKÝ, Martin - POTKÁNY, Marek - NOZDROVICKÝ, Ladislav. The future perspectives of spruce and fir wood use in selected countries of the Central Europe for wooden constructions. In 11th annual international scientific conference : increasing the use of wood in the global bio-economy, WoodEMA 2018, Belgrade, 26th-28th September 2018. Zagreb : WoodEMA, 2018. ISBN 978-867299277-9, pp. 160-167.
    DANIHELOVÁ, Anna - NEMEC, Miroslav - GERGEĽ, Tomáš - GEJDOš, Miloš - GORDANOVÁ, Janka - SCENSNY, Patrik. Usage of recycled technical textiles as thermal insulation and an acoustic absorber. In Sustainability. ISSN 2071-1050, 2019, vol. 11, no. 10, pp. 1-13.
    KASK, Regino - LILLE, Harri - KIVISTE, Mihkel - TAMM, Renee - REIGO, Valdor - LAANE, Johann Olaf. Evaluation of mechanical properties of OSB/3 after repetitive soaking and oven-drying cycles. In Wood material science and engineering. ISSN 1748-0272, 2021, vol. 16, no. 6, pp. 358-365.
    MAAKE, Tebogo - ASANTE, Joseph - MWAKIKUNGA, Bonex. Fire performance properties of commonly used South African hardwood. In Journal of fire sciences. ISSN 0734-9041, 2020, vol. 38, no. 5, pp. 415-432.
    BOARDMAN, Charles R. - GLASS, Samuel V. - CHOW, Kingston - YEH, Borjen. Hygrothermal modeling of wall drying after water injection. In Thermal performance of the exterior envelopes of whole buildings 14th international conference, Clearwater Beach, 09th-12th December 2019. [S. l.] : International building performance simulation association, 2019, pp. 887-894. [cit. 2020-11-30]. Dostupné na: https://www.apawood.org/data/sites/1/documents/technicalresearch/hygrothermal-modeling-of-wall-drying-after-water-injection.pdf
    BOARDMAN, Charles R. - GLASS, Samuel. Improving the accuracy of a hygrothermal model for wood-frame walls : a cold-climate study. In Buldings. ISSN 2075-5309, 2020, vol. 10, no. 12, pp. 1-34.
    TUREKOVA, Ivana - MARKOVA, Iveta - IVANOVICOVA, Martina - HARANGOZO, Jozef. Experimental study of oriented strand board ignition by radiant heat fluxes. In Polymers. ISSN 2073-4360, 2021, vol. 13, no. 5, pp. 1-13.
    TAGHIYARI, Hamid R. - MILITZ, Holger - ANTOV, Petar - PAPADOPOULOS, Antonios N. Effects of wollastonite on fire properties of particleboard made from wood and chicken feather fibers. In Coatings. ISSN 2079-6412, 2021, vol. 11, no. 5, pp. 1-11.
    NINIKAS, Konstantinos - MITANI, Andromachi - KOUTSIANITIS, Dimitrios - NTALOS, George - TAGHIYARI, Hamid R. - PAPADOPOULOS, Antonios N. Thermal and mechanical properties of green insulation composites made from cannabis and bark residues. In Journal of composites science. ISSN 2504-477X, 2021, vol. 5, no. 5, pp. 1-12.
    BOŽIKOVÁ, Monika - KOTOULEK, Petr - BILČÍK, Matúš - KUBÍK, Ľubomír - HLAVÁČOVÁ, Zuzana - HLAVÁČ, Peter. Thermal properties of wood and wood composites made from wood waste. In International agrophysics. ISSN 0236-8722, 2021, vol. 35, no. 3, pp. 251-256.
    ZACHAR, Martin - CABALOVA, Iveta - KACIKOVA, Danica - ZACHAROVA, Lucia. The effect of heat flux to the fire-technical and chemical properties of spruce wood (Picea abies L.). In Materials. ISSN 1996-1944, 2021, vol. 14, no. 17, pp. 1-12.
    GOLOVIN, Yuri I. - TYURIN, Alexander I. - GOLOVIN, Dmitry Yu. - SAMODUROV, Alexander A. - MATVEEV, Sergey M. - YUNACK, Maria A. - VASYUKOVA, Inna A. - ZAKHAROVA, Olga V. - RODAEV, Vyacheslav V. - GUSEV, Alexander A. Relationship between thermal diffusivity and mechanical properties of wood. In Materials. ISSN 1996-1944, 2022, vol. 15, no. 2, pp. [1-16].
    SZCZEPANSKI, Marcin - MANGURI, Ahmed - SAEED, Najmadeen - CHUCHALA, Daniel. The effect of openings' size and location on selected dynamical properties of typical wood frame walls. In Polymers. ISSN 2073-4360, 2022, vol. 14, no. 3, pp. [1-14].
    URSTÖEGER, Johannes - BARBU, Marius Catalin - PACHER, Thomas - PETUTSCHNIGG, Alexander - JORDA, Johannes - TUDOR, Eugenia Mariana. Selected properties of cement bound spruce and larch bark bio-aggregates. In Polymers. ISSN 2073-4360, 2021, vol. 13, no. 24, pp. [1-12].
    MAKOVICKA OSVALDOVA, Linda - MITRENGA, Patrik - JANCIK, Juraj - TITKO, Michal - EFHAMISISI, Davood - KOSUTOVA, Katarina. Fire behaviour of treated insulation fibreboards and predictions of its future development based on natural aging simulation. In Frontiers in materials. ISSN 2296-8016, 2022, vol. 9, art. no. 891167, pp. 1-9.
    DE TOLDI , Timothée - CRAIG, Salmaan - SUSHAMA, Laxmi. Internal thermal mass for passive cooling and ventilation : adaptive comfort limits, ideal quantities, embodied carbon. In Buildings and cities : alternatives to air conditioning: policies, design, technologies, behaviours [online]. 2022, vol. 3, no. 1, special issue, pp. 42-67 [cit. 2022-07-14]. ISSN 2632-6655. Dostupné na: http://doi.org/10.5334/bc.156
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.