Concept Analysis of Implicative Algebras
| AUTHOR | Hnig, Alexandra; Hanig Alexandra |
| PUBLISHER | AV Akademikerverlag (05/06/2014) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
The intention of the thesis "Concept Analysis of Implicative Algebras" is to use concept analysis to examine implicative algebras based on axioms, which are satisfied in Hilbert algebras. The goal is to find as many algebras as possible, which are differentiated within their combination of the axioms of Hilbert algebras. When using the axioms without restrictions we gain the general concept lattice with all algebras that can be formed with the axioms. When applying the restrictions for partially ordered sets and partially ordered sets with greatest element, it is a success to find enough examples to complete the specific concept lattice. An other aspect of the thesis is to examine the implicative algebras closely related to Hilbert algebras. For better understanding some basics in algebra are outlined in the second section. They include algebras, magmas and order theory which are needed to define Hilbert algebras. The third section deals with lattice theory and Galois correspondence, which are the base to define concept lattices and regard concept analysis. In the forth section we will take a closer look at implicative algebras, Hilbert algebras and algebras closely related to Hilbert algebras. The results deduced from the concept analysis are shown in the fifth section. The proven implications of the three different lattices and deduced facts are outlined.
Show More
Product Format
Product Details
ISBN-13:
9783639492385
ISBN-10:
3639492382
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
140
Carton Quantity:
52
Product Dimensions:
6.00 x 0.33 x 9.00 inches
Weight:
0.47 pound(s)
Feature Codes:
Illustrated
Country of Origin:
US
Subject Information
BISAC Categories
Mathematics | General
Descriptions, Reviews, Etc.
publisher marketing
The intention of the thesis "Concept Analysis of Implicative Algebras" is to use concept analysis to examine implicative algebras based on axioms, which are satisfied in Hilbert algebras. The goal is to find as many algebras as possible, which are differentiated within their combination of the axioms of Hilbert algebras. When using the axioms without restrictions we gain the general concept lattice with all algebras that can be formed with the axioms. When applying the restrictions for partially ordered sets and partially ordered sets with greatest element, it is a success to find enough examples to complete the specific concept lattice. An other aspect of the thesis is to examine the implicative algebras closely related to Hilbert algebras. For better understanding some basics in algebra are outlined in the second section. They include algebras, magmas and order theory which are needed to define Hilbert algebras. The third section deals with lattice theory and Galois correspondence, which are the base to define concept lattices and regard concept analysis. In the forth section we will take a closer look at implicative algebras, Hilbert algebras and algebras closely related to Hilbert algebras. The results deduced from the concept analysis are shown in the fifth section. The proven implications of the three different lattices and deduced facts are outlined.
Show More
List Price $39.85
Your Price
$39.45
