Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

Is this relevant?

2007

2007

Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic… Expand

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

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

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

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

Is this relevant?