Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
This paper describes a comparative study of the envelope extraction algorithms for the cardiac sound signal segmentation. In… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2007
2007
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The main objective of this paper is a study of some new generalizations of Hilbert's and Hardy-Hilbert's type inequalities. We… Expand
Is this relevant?
2005
2005
There is a parallel between the debate between Gottlob Frege and David Hilbert at the turn of the twentieth century and at least… Expand
Is this relevant?
2005
2005
The exogenous semantics approach to enriching a logic consists in defining each model in the enrichment as a set of models in the… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
  • Y. Lim, Y. Yu
  • IEEE Transactions on Signal Processing
  • 2005
  • Corpus ID: 6530936
Frequency translation of audio signals requires the use of very sharp Hilbert transformer if the low frequency components are to… Expand
Is this relevant?
1995
1995
We formalize equational propositional logic, prove that it is sound and complete, and compare the equational-proof style with the… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
An algorithm is presented which eliminates second–order quantifiers over predicate variables in formulae of type ∃P1, . . . , Pn… Expand
Is this relevant?
1992
1992
 
Is this relevant?
Highly Cited
1990
Highly Cited
1990
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become… Expand
  • figure 1
  • figure 3
Is this relevant?