Results 71 to 80 of about 4,006 (251)
PROBLEM ELIMINASI CUT PADA LOGIKA LBBâInk [PDF]
, 2007 In the present paper we study the problem of the cut elimination in logics LBBâInk , i.e. logics obtained from LBBâI by adding a rule called (nï®k) rule.
Surarso, Bayu
core
Semantic A-translation and Super-consistency entail Classical Cut Elimination
, 2013 International audienceWe show that if a theory R defined by a rewrite system is super-consistent, the classical sequent calculus modulo R enjoys the cut elimination property, which was an open question.
Allali, Lisa +3 more
core +1 more source
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT The leading‐order asymptotic behavior of the solution of the Cauchy initial‐value problem for the Benjamin–Ono equation in L2(R)$L^2(\mathbb {R})$ is obtained explicitly for generic rational initial data u0$u_0$. An explicit asymptotic wave profile uZD(t,x;ε)$u^\mathrm{ZD}(t,x;\epsilon)$ is given, in terms of the branches of the multivalued ...
Elliot Blackstone +3 more
wiley +1 more source
Cut-Elimination for Full Intuitionistic Linear Logic
, 1996 We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponential-free) Linear Logicintroduced by Hyland and de Paiva.
de Paiva, Valeria, Braüner, Torben
core
International Journal of Circuit Theory and Applications, EarlyView.This work explores the conversion from residues to binary representation in RNS using the Chinese remainder theorem (CRT) or mixed radix conversion (MRC) algorithms. The proposed approach relocates CRT multiplicative inverses to the arithmetic stage without extra cost, improving scalability while achieving speedups over state‐of‐the‐art MRC ...
Gabriel B. M. Fernandes +2 more
wiley +1 more source
Completeness and Cut-Elimination in the . . .
, 2004 In this paper we give a semantic proof of cut-elimination for ICTT. ICTT is an intuitionistic formulation of Church's theory of types defined by Miller, Scedrov, Nadathur and Pfenning in the late 1980s.
Mary DeMarco, James Lipton
core
Quenching the Hubbard Model: Comparison of Nonequilibrium Green's Function Methods
Contributions to Plasma Physics, EarlyView.ABSTRACT We benchmark nonequilibrium Green's function (NEGF) approaches for interaction quenches in the half‐filled Fermi–Hubbard model in one and two dimensions. We compare fully self‐consistent two‐time Kadanoff–Baym equations (KBE), the generalized Kadanoff–Baym ansatz (GKBA), and the recently developed NEGF‐based quantum fluctuations approach (NEGF‐
Jan‐Philip Joost +3 more
wiley +1 more source
Contributions to Plasma Physics, EarlyView.ABSTRACT The properties of plasmas in the low‐density limit are described by virial expansions. Analytical expressions are known for the lowest virial coefficients from Green's function approaches. Recently, accurate path‐integral Monte Carlo (PIMC) simulations were performed for the hydrogen plasma at low densities by Filinov and Bonitz (Phys. Rev.
Gerd Röpke +3 more
wiley +1 more source
A simple proof that super consistency implies cut elimination
, 2007 International audienceWe give a simple proof of the cut elimination theorem for super-consistent theories in natural deduction modulo, inspired by proof normalization, but without explicit proofs. It can also be formulated as a completeness proof for the
Dowek, Gilles, Hermant, Olivier
core +1 more source
Cytometry Part A, EarlyView.ABSTRACT Advances in spectral cytometry instrumentation and fluorescent reagents have led to the possibility of ultra‐high‐parameter panels exceeding 50 colors. However, panel size is limited in practice by unmixing‐dependent spreading (UDS), a phenomenon which leads to a progressive deterioration of unmixed signal‐to‐noise ratios in panels that ...
Peter L. Mage +2 more
wiley +1 more source