English
Related papers

Related papers: Hardy's paradox according to non-classical semanti…

200 papers

The time evolution of the two-time conditional probability of the classical stochastic process is described in an analogous form of the quantum mechanical wave equations. By using it, we emulate the same strange behaviors as those of the…

Statistical Mechanics · Physics 2012-01-11 Hiroyuki Tomita

The classical decision problem, as it is understood today, is the quest for a delineation between the decidable and the undecidable parts of first-order logic based on elegant syntactic criteria. In this paper, we treat the concept of…

Logic in Computer Science · Computer Science 2019-11-27 Marco Voigt

A new proof is given of the atomic decomposition of Hardy spaces Hp, in the classical setting of Rn. The new method can be used to establish atomic decomposition of maximal Hardy spaces in general setting and non classical settings.

Functional Analysis · Mathematics 2014-09-02 S. Dekel , G. Kerkyacharian , G. Kyriazis , P. Petrushev

We provide lower bounds for the sum of the negative eigenvalues of the operator $|\sigma\cdot p_A|^{2s} - C_s/|x|^{2s} + V$ in three dimensions, where $s\in (0, 1]$, covering the interesting physical cases $s = 1$ and $s = 1/2$. Here…

Mathematical Physics · Physics 2018-08-15 Gonzalo A. Bley , Søren Fournais

It is necessary to calculate the C operator for the non-Hermitian PT-symmetric Hamiltonian H=\half p^2+\half\mu^2x^2-\lambda x^4 in order to demonstrate that H defines a consistent unitary theory of quantum mechanics. However, the C…

Quantum Physics · Physics 2008-11-26 Carl M. Bender , Dorje C. Brody , Hugh F. Jones

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

Category Theory · Mathematics 2015-07-22 Martin Hyland

Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between…

Artificial Intelligence · Computer Science 2024-08-21 Assaf Libman , Nir Oren , Bruno Yun

The semiclassical limit for Dirac particles interacting with a static gravitational field is investigated. A Foldy-Wouthuysen transformation which diagonalizes at the semiclassical order the Dirac equation for an arbitrary static spacetime…

High Energy Physics - Theory · Physics 2008-11-26 Pierre Gosselin , Alain Bérard , Herve Mohrbach

The paradoxes of thermodynamics and statistical physics are unavoidable in the study of physical paradoxes because of their importance at the time they came to be as well as the frequency of their appearance in historical studies of…

General Physics · Physics 2009-12-10 Dragoljub A. Cucic

Sumterms are introduced as syntactic entities, and sumtuples are introduced as semantic entities. Equipped with these concepts a new description is obtained of the notion of a sum as (the name for) a role which can be played by a number.…

History and Overview · Mathematics 2020-09-21 Jan A. Bergstra

We study possibilities for semantic and syntactic rigidity, i.e., the rigidity with respect to automorphism group and with respect to definable closure. Variations of rigidity and their degrees are studied in general case, for special…

Logic · Mathematics 2023-07-26 Sergey V. Sudoplatov

In this paper we prove and discuss some new $\left( H_p,L_{p}\right)$ type inequalities for partial Sums and Fej\'er means with respect to Walsh system. It is also proved that these results are the best possible in a special sense. As…

Classical Analysis and ODEs · Mathematics 2020-08-04 George Tephnadze

The Hardy operator is not bounded on the space of integrable functions on the positive half-line and its discrete counterpart on summable sequences. we introduce a modified Hardy operator obtained by subtracting a natural corrective term,…

Classical Analysis and ODEs · Mathematics 2026-03-24 Samson Owusu-Ensaw , Benoit F. Sehba , Ransford T. Tweneboanah

We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks. By expressiveness we mean the ability to encode a desired set of two-valued…

Artificial Intelligence · Computer Science 2014-05-06 Hannes Strass

In quantum theory, a weak value is a complex number with a somewhat technical definition: it is a ratio whose numerator is the matrix element of a self-adjoint operator and whose denominator is the inner product of a corresponding pair of…

Quantum Physics · Physics 2026-02-11 Jacob A. Barandes

Hardy's uncertainty principle is a classical result in harmonic analysis, stating that a function in $L^2(\mathbb{R}^d)$ and its Fourier transform cannot both decay arbitrarily fast at infinity. In this paper, we extend this principle to…

Analysis of PDEs · Mathematics 2025-04-03 Elena Cordero , Gianluca Giacchi , Eugenia Malinnikova

The Sorites paradox is the name of a class of paradoxes that arise when vague predicates are considered. Vague predicates lack sharp boundaries in extension and is therefore not clear exactly when such predicates apply. Several approaches…

History and Overview · Mathematics 2021-10-22 Bruno Dinis

We prove a Hardy inequality for ultraspherical expansions by using a proper ground state representation. From this result we deduce some uncertainty principles for this kind of expansions. Our result also implies a Hardy inequality on…

Classical Analysis and ODEs · Mathematics 2017-03-10 Alberto Arenas , Óscar Ciaurri , Edgar Labarga

There is a received wisdom about where to draw the boundary between classical and nonclassical for various types of quantum processes. For multipartite states, it is the divide between separable and entangled; for channels, the divide…

Quantum Physics · Physics 2026-01-28 Yujie Zhang , David Schmid , Yìlè Yīng , Robert W. Spekkens

Moores Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account…

Logic in Computer Science · Computer Science 2020-06-23 Andrés Páez