In 1990 Krivine (1990b) introduced the notion of storage operators. They are λ-terms which simulate call-by-value in the call-by-name strategy. Krivine (1990b) has shown that there is a very simple type in the AF2 type system for storage operators using Gődel translation from classical to intuitionistic logic. Parigot (1993a) and Krivine (1994) have shown that storage operators play an importan...

We give a review of semi-classical estimates for bound states and their eigenvalues for Schrödinger operators. Motivated by the classical results, we discuss their recent improvements for single particle Schrödinger operators as well as some applications of these semi-classical bounds to multi-particle systems, in particular, large atoms and the stability of matter. In this survey, we focus on ...

Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...

We derive the main classical gravitational tests for a recently found vacuum solution with spin and dilation charges in framework of Metric-Affine gauge theory gravity. Using results perihelion precession star S2 by GRAVITY collaboration redshift Sirius B white dwarf we constrain corrections provided torsion nonmetricity fields these effects.

A new quantum deformation, which we call null-plane, of the (3+1) Poincaré algebra is obtained. The algebraic properties of the classical null-plane description are generalized to this quantum deformation. In particular, the classical isotopy subalgebra of the null-plane is deformed into a Hopf subalgebra, and deformed spin operators having classical commutation rules can be defined. Quantum Ha...

This paper describes extensions of the generalized summation-by-parts (GSBP) framework to the approximation of the second derivative with a variable coefficient and to time integration. GSBP operators for the second derivative lead to more efficient discretizations, relative to the classical finite-difference SBP approach, as they can require fewer nodes for a given order of accuracy. Similarly...

We give the first construction of covariant coherent closed string states, which may be identified with fundamental cosmic strings. We outline the requirements for a string state to describe a cosmic string, and provide an explicit and simple map that relates three different descriptions: classical strings, light cone gauge quantum states, and covariant vertex operators. The resulting coherent ...

We show that a minimal dependent type theory based on Σtypes and equality is degenerated in presence of computational classical logic. By computational classical logic is meant a classical logic derived from a control operator equipped with reduction rules similar to the ones of Felleisen’s C or Parigot’s μ operators. As a consequence, formalisms such as Martin-Löf’s type theory or the (Set-pre...

‎We provide a uniform estimate for the $L^1$-norm (over any interval of bounded length) of the logarithmic derivatives‎ ‎of global normalizing factors associated to intertwining operators for the following reductive groups over number fields‎: ‎inner forms of $operatorname{GL}(n)$; quasi-split classical groups and their similitude groups; the exceptional group $G_2$‎. ‎This estimate is a key in...