Hlavní stránka > Výsledky hledání: Navara, Mirko
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 
Algebraic Metods in Multivalued Logics
 Matoušek, Milan ; Pták, Pavel (vedoucí práce) ; Navara, Mirko (oponent) ; Dvurečenskij, Anatolij (oponent)
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow orthocomplemented lattices with this operation and obtain a new class of algebras. We call these algebras orthocomplemented difference lattices (ODLs). We first see that the ODLs form a class that contains Boolean algebras and is contained in orthomodular lattices (OMLs). In the subsequent analysis we study algebraic properties of ODLs (identities valid in classes of ODLs, peculiarities connected with free ODLs, etc.) and find a characterization of set-representable ODLs. We then ask a natural question of which OML can be made (resp. can be enlarged to) an ODL. We exhibit several constructions - quite involved in places - that deepen the understanding of intrinsic properties of ODLs. As a rather surprising result in this line we find a connection with Z2-valued measures. In the end we relax the lattice condition imposed on ODLs. We obtain orthocomplemented difference posets. We then formulate and clarify several questions related to non-lattice "quantum logics".
Úplný záznam

Viz též: podobná jména autorů
2 Navara, Michal
2 Navara, Miroslav
2 NÁVARA, Michal
6 Návara, Marek
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English