NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"Free Algebras"”.

  1. On Groebner Bases of (Non)commutative Free Algebras

    Annunziata, Michael ThomasWake Forest University2017

    … to explore new term orders in the noncommutative free algebra as well as applications of Faugere's F4 algorithm to ideals in polynomial rings.

    wfu Repository record

  2. Algebraic aspects of propositional logic

    Leisegang, NicholasDepartment of Mathematics and Applied Mathematics2024

    … by considering the category Bool of Boolean algebras, the algebraic counterpart of classical propositional logic. We provide an algebraic definition of theories and models of classical logic and provide algebraic algorithms to determine whether a chosen formula is a theorem of a given theory …

    cape-town Repository record

  3. FINITELY ADDITIVE MEASURES ON TOPOLOGICAL SPACES AND BOOLEAN ALGEBRAS

    Ameen, ZanyarUniversity of East Anglia2015

    … other. The relation between charges on Boolean algebras and the induced measures on their Stone spaces is mentioned in this chapter. We also show that for any charge algebra, there exists a compact zero-dimensional space such that its charge algebra is isomorphic to the given charge algebra. In …

    east-anglia Repository record

  4. Matrix Algebras: Equivalent Ring Relations and Special Presentations

    Mendelson, Samuel Stephen2017

    gmu