Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations

Broader (1)

Automated theorem proving
Axiom of reducibilityBoolean algebraCombinatory logicFirst-order logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Hypersequent rules with restricted contexts for propositional modal logics
Highly Cited
2008
Highly Cited
2008
On Some Extensions of Hardy-Hilbert's Inequality and Applications
Laith Emil Azar Department of Mathematics, Al Al-Bayt University, P.O. Box. 130095, Mafraq 25113, Jordan Correspondence should be… 
2008
2008
On some higher-dimensional Hilbert's and Hardy-Hilbert's integral inequalities with parameters
By introducing some parameters and a norm |x|α , x ∈ R+ , we give higherdimensional Hilbert’s and Hardy-Hilbert’s integral… 
Highly Cited
2005
Highly Cited
2005
GENERALIZATION OF HILBERT AND HARDY-HILBERT INTEGRAL INEQUALITIES
The main objective of this paper is a study of some new generalizations of Hilbert's and Hardy-Hilbert's type inequalities. We… 
2005
2005
A more accurate hardy-hilbert's type inequality
By introducing a parameter α,a more accurate Hardy-Hilbert's type inequality with a best constant factor is given.As applications… 
2004
2004
Generalization of Inequalities of Hardy-Hilbert type
A generalizations of the well-known Hilbert’s and Hardy-Hilbert’s inequality are given both in discrete and integral case… 
2004
2004
Generalization of Hilbert's Integral Inequality
A generalization of the well-known Hilbert’s inequality is given and several other results of this type obtained in the recent… 
Highly Cited
2000
Highly Cited
2000
On Multidimensional Curves with Hilbert Property
Abstract. Indexing schemes for grids based on space-filling curves (e.g., Hilbert curves) find applications in numerous fields… 
1998
1998
Weakly Confluent Quadratic Algebras
Any quadratic algebra endowed with an ordered set of generators can bedescribed by some linear map called a reduction operator… 
1998
1998
Geometric invariants for resolutions of Hilbert modules
The development of complex function theory beyond the one-variable case required new techniques and approaches, not just an… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)