Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Hilbert Implication Algebra and Some Properties
View through CrossRef
The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is investigated. Ideals and filters in Hilbert implication algebras are also discussed. In general, different theorems which show different properties are proved.
Title: Hilbert Implication Algebra and Some Properties
Description:
The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced.
The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved.
In addition, the idea of groupoid and commutative Hilbert implication algebras is investigated.
Ideals and filters in Hilbert implication algebras are also discussed.
In general, different theorems which show different properties are proved.
Related Results
Hilbert bundles with ends
Hilbert bundles with ends
Given a countable metric space, we can consider its end. Then a basis of a Hilbert space indexed by the metric space defines an end of the Hilbert space, which is a new notion and ...
Achievements on Matrix Hilbert spaces and reproducing kernel matrix Hilbert spaces
Achievements on Matrix Hilbert spaces and reproducing kernel matrix Hilbert spaces
Abstract
Hilbert space is a very powerfull mathematical tool that has proven to be incredibily useful in a wide range of applications. Matrix Hilebrt space is a new fram...
Lukasiewicz Fuzzy BM-Algebra and BM-Ideal
Lukasiewicz Fuzzy BM-Algebra and BM-Ideal
Introduction: ℱ???????????????? Sets is a mathematical framework that expands the traditional concept of sets by enabling elements to have degrees of membership. This enables parti...
The Weil Algebra and the Weil Model
The Weil Algebra and the Weil Model
This chapter evaluates the Weil algebra and the Weil model. The Weil algebra of a Lie algebra g is a g-differential graded algebra that in a definite sense models the total space E...
Quasi-pre-Lie bialgebras and twisting of pre-Lie algebras
Quasi-pre-Lie bialgebras and twisting of pre-Lie algebras
Given a (quasi-)twilled pre-Lie algebra, we first construct a differential graded Lie algebra ([Formula: see text]-algebra). Then we study the twisting theory of (quasi-)twilled pr...
Many Valued Logic of Gödel and Łukasiewicz
Many Valued Logic of Gödel and Łukasiewicz
Gödel and Łukasiewicz proposed the three-valued logic by adding the third logical situation, which includes uncertainty and ambiguity, to the classical two logical values, true or ...
Representation and duality for Hilbert algebras
Representation and duality for Hilbert algebras
Abstract
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-hom...
Finitely Presented Heyting Algebras
Finitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting<br />algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every s...