Hilbert system

Known as: Hilbert-style deduction system, Hilbert calculus, Hilbert-style deductive systems 
In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus, Hilbert-style deductive system or Hilbert–Ackermann… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
*Correspondence: qlhuang@yeah.net Department of Mathematics, Guangdong University of Education, Guangzhou, Guangdong 510303, P.R… (More)
Is this relevant?
2011
2011
The classic notion of Bessel, Hilbert systems and Riesz bases introduced by N.K.Bari [1] are known well. In this fundamental… (More)
Is this relevant?
2008
2008
Laith Emil Azar Department of Mathematics, Al Al-Bayt University, P.O. Box. 130095, Mafraq 25113, Jordan Correspondence should be… (More)
Is this relevant?
2007
2007
This paper presents a novel measuring method based on the Hilbert filtering for the digital monitoring of the single-phase ac… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2005
2005
In this paper, we give a new Hardy-Hilbert’s integral inequality with some parameters and a best constant factor. It includes an… (More)
Is this relevant?
2003
2003
The notion of a quasi-free Hilbert module over a function algebra A consisting of holomorphic functions on a bounded domain Ω in… (More)
Is this relevant?
2003
2003
Let a1, a2, . . . , an be distinct, positive integers with (a1, a2, . . . , an) = 1, and let k be an arbitrary field. Let H(a1… (More)
Is this relevant?
2000
2000
Indexing schemes for grids based on space-filling curves (e.g., Hilbert curves) find applications in numerous fields, ranging… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
1999
1999
  • BOJAN MAGAJNA
  • 1999
A Hilbert module over a C*-algebra B is a right B-module X, equipped with an inner product ©[, [a which is linear over B in the… (More)
Is this relevant?