Home > Search Results: Havlík, František
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Orthocomplemented difference lattices
 Havlík, František ; Pták, Pavel (advisor) ; Matoušek, Milan (referee)
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice structure (Chapter III and the rest). The class ODL is introduced and some of its basic properties are investigated. Then there is exhibited the class HOR. The class HOR is a subclass of ODL which is closely related to the class of Boolean algebras. In the last Chapter there is described the construction of free orthocomplemented di erence lattice with two generators. 3
Detailed record
Orthocomplemented difference lattices
 Havlík, František ; Matoušek, Milan (referee) ; Pták, Pavel (advisor)
The theme of this thesis is the investigation of a binary operator, 4, that models the standard symmetric di erence of sets. This operator is studied both separately (in Chapter II) and with the supplementary lattice structure (Chapter III and the rest). The class ODL is introduced and some of its basic properties are investigated. Then there is exhibited the class HOR. The class HOR is a subclass of ODL which is closely related to the class of Boolean algebras. In the last Chapter there is described the construction of free orthocomplemented di erence lattice with two generators. 3
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English