Search results

Records found: 5  
Your query: Keywords = "Boolean algebra"
  1. TitleFactor principal congruences and Boolean products in filtral varieties
    Author infoBrian A. Davey, Miroslav Haviar
    Author Davey Brian A. (50%)
    Co-authors Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
    Source document Algebra Universalis. Vol. 85, no. 19 (2024), pp. 1-23. - Basel : Springer Nature Switzerland AG, 2024
    Keywords algebra - algebra   Boolean algebra   kongruencie  
    Form. Descr.články - journal articles
    LanguageEnglish
    CountrySwitzerland
    AnnotationMotivated by Haviar and Ploščica's 2021 characterisation of Boolean products of simple De Morgan algebras, we investigate Boolean products of simple algebras in filtral varieties. We provide two main theorems. The first yields Werner's Boolean-product representation of algebras in a discriminator variety as an immediate application. The second, which applies to algebras in which the top congruence is compact, yields a generalisation of the Haviar–Ploščcica result to semisimple varieties of Ockham algebras. The property of having factor principal congruences is fundamental to both theorems. While major parts of our general theorems can be derived from results in the literature, we offer new, self-contained and essentially elementary proofs.
    URLhttps://link.springer.com/article/10.1007/s00012-024-00846-8
    Public work category ADC
    No. of Archival Copy54297
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    ReferencesPERIODIKÁ-Súborný záznam periodika
  2. TitlePerfect extensions of de Morgan algebras
    Author infoMiroslav Haviar, Miroslav Ploščica
    Author Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
    Co-authors Ploščica Miroslav (50%)
    Source document Algebra Universalis. Vol. 82, no. 4 (2021), art. no. 58, pp. 1-8. - Basel : Springer Nature Switzerland AG, 2021
    Keywords De Morganova algebra - De Morgan algebra   MS-algebra   rozšírenie - extension   Boolean algebra  
    Form. Descr.články - journal articles
    LanguageEnglish
    CountrySwitzerland
    AnnotationAn algebra A is called a perfect extension of its subalgebra B if every congruence of B has a unique extension to A. This terminology was used by Blyth and Varlet [1994]. In the case of lattices, this concept was described by Grätzer and Wehrung [1999] by saying that A is a congruence-preserving extension of B. Not many investigations of this concept have been carried out so far. The present authors in another recent study faced the question of when a de Morgan algebra M is perfect extension of its Boolean subalgebra B(M), the so-called skeleton of M. In this note a full solution to this interesting problem is given. The theory of natural dualities in the sense of Davey and Werner [1983] and Clark and Davey [1998], as well as Boolean product representations, are used as the main tools to obtain the solution.
    URLLink na plný text Link na zdrojový dokument
    Public work category ADC
    No. of Archival Copy50558
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    ReferencesPERIODIKÁ-Súborný záznam periodika
  3. TitleAplikácia Booleovej algebry v technike
    Par.titleApplication of Boolean algebra in technology
    Author infoDaniel Novák, Veronika Klopanová
    Author Novák Daniel 1952- (50%) UMBFP07 - Katedra techniky a technológií
    Co-authors Nováková Veronika 1992- (50%) UMBFP10 - Katedra matematiky
    Source document Technika a vzdelávanie : časopis zameraný na technické vzdelávanie v základných, stredných, i na vysokých školách, na oblasť základného a aplikovaného výskumu, aplikáciu informačných technológií vo výučbe odborných predmetov. Roč. 5, č. 1 (2016), s. 35-38. - Banská Bystrica : Vydavateľstvo Univerzity Mateja Bela - Belianum, 2016
    Keywords Booleova algebra   výroky - statements   logické funkcie a premenné   logické obvody   technická elektronika   učebné pomôcky - teaching aids   Boolean algebra   propositions   logic functions and variables   logic circuits   technical electronics  
    LanguageSlovak
    CountrySlovak Republic
    systematics 37
    AnnotationŠtúdia sa zaoberá problematikou využitia algebry logiky v elektrických obvodoch. V nadväznosti na základnú charakteristiku Booleovej algebry a jej zákony sa venuje aktuálnemu stavu výučby učiva logických obvodov v slovenskom základnom školstve. Následne navrhuje sústavu úloh, slúžiacich na precvičenie tohto učiva v predmete technika. Záverom stručne zhŕňa aktuálny stav a odporúča ďalší postup. = The study deals with the use of logical algebra in electrical circuits. Following the basic characteristics of Boolean algebra and its laws, the study presents the current state of teaching of the matter Logical Circuits in Slovak primary education. Further it proposes a set of tasks used to practice this curriculum in the subject Technology. Finally, the paper briefly summarizes the current state and it recommends further actions.
    Public work category ADF
    No. of Archival Copy37402
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    unrecognised

    unrecognised

    File nameDownloadedSizeComment
    37402221.1 MB
  4. TitleIntroduction to Boolean algebras
    Author infoSteven Givant, Paul Halmos
    Author Givant Steven
    Co-authors Halmos Paul R.
    Issue dataNew York, USA : Springer , c2009. - 574 s. : il., tab., 24 cm
    Issue[1. vyd.]
    Edition Undergraduate texts in mathematics , 0172-6056
    ISBN978-0-387-40293-2
    NoteBibliografia s. 536-541. Reg.
    Keywords Booleove algebry   algebra - algebra   Boolean algebra  
    LanguageEnglish
    CountryUnited States of America
    systematics 512
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexkni - BOOKS
    Copy count1, currently available 0, at library only 1
    Call numberLocationSublocationUmiestnenieInfo
    316046Univerzita Mateja BelaDepartment of mathematicsIn-Library Use Only
  5. TitleThe dimension of orthomodular posets constructed by pasting Boolean algebras
    Author infoAlfonz Haviar, Pavel Hrnčiar
    Author Haviar Alfonz (50%) UMBFP10 - Katedra matematiky
    Co-authors Hrnčiar Pavel 1951- (50%) UMBFP10 - Katedra matematiky
    Source document Order : a journal on the theory of ordered sets and its applications. Vol. 10, no. 2 (1993), pp. 183-197. - Dordrecht : Springer Nature, 1993
    Keywords Booleove algebry   dimension   Boolean algebra   atomic amalgam  
    LanguageEnglish
    CountryNetherlands
    systematics 51
    Public work category ADE
    No. of Archival Copy25447
    Repercussion categoryAL-AGHA, Khaled J. Involutory dimension for involution posets : research report No. 96-01. Louisiana : Louisiana Tech University, April 1996, pp. 26.
    AL-AGHA, KJ - GREECHIE, R. J. The involutory dimension of involution posets. In Order : a journal on the theory of ordered sets and its applications. ISSN 0167-8094, 2001, vol. 18, no. 4, pp. 323-337.
    AL-AGHA, Khaled J. - GREECHIE, Richard J. Order dimension of orthomodular amalgamations over trees. In Order-a journal on the theory of ordered sets and its applications. ISSN 0167-8094, 2008, vol. 25, no. 1, pp. 55-68.
    BERAN, L - SALVATI, S. Boolean algebras revisited. In Bollettino della unione matematica Italiana. ISSN 0041-7084, 1997, vol. 11B, no. 4, pp. 895-901.
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    ReferencesPERIODIKÁ-Súborný záznam periodika


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