Results 11 to 20 of about 1,182,071 (254)
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys, 2014 It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj +1 more source
The l-loop banana amplitude from GKZ systems and relative Calabi-Yau periods
Journal of High Energy Physics, 2020 We use the GKZ description of periods and certain classes of relative periods on families of Barth-Nieto Calabi-Yau (l − 1)-folds in order to solve the l-loop banana amplitudes with their general mass dependence.
Albrecht Klemm +2 more
doaj +1 more source
Full-color three-loop three-point form factors in 𝒩 = 4 SYM
Journal of High Energy Physics, 2022 We present the detailed computation of full-color three-loop three-point form factors of both the stress-tensor supermultiplet and a length-three BPS operator in 𝒩 = 4 SYM.
Guanda Lin, Gang Yang, Siyuan Zhang
doaj +1 more source
Cut, invariant rule, and loop-check free sequent calculus for PLTL
Lietuvos Matematikos Rinkinys, 2011 In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis +1 more
doaj +1 more source
Restrictions for loop-check in sequent calculus for temporal logic with until operator
Lietuvos Matematikos Rinkinys, 2009 In this paper, we present sequent calculus for branching-time temporal logic with until operator. This sequent calculus uses efficient loop-checktechinque.
Adomas Birštunas
doaj +1 more source
Journal of High Energy Physics, 2021 We present a two-loop calculation of the supersymmetric circular Wilson loop in the N $$ \mathcal{N} $$ = 2* super Yang-Mills theory on the four-sphere. We develop an efficient framework for computing contributing Feynman graphs that relies on using the ...
A. V. Belitsky, G. P. Korchemsky
doaj +1 more source
Restrictions for loop-check in sequent calculus for temporal logic
Lietuvos Matematikos Rinkinys, 2008 In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj +1 more source
The parton-level structure of e+e − to 2 jets at N3LO
Journal of High Energy Physics, 2023 We investigate the quantum chromodynamics (QCD) corrections to hadronic final states in electron-positron collisions at O $$ \mathcal{O} $$ ( α s 3 $$ {\alpha}_s^3 $$ ) in the strong coupling constant α s . Namely, we analytically compute the total cross
Petr Jakubčík +2 more
doaj +1 more source
Positivity bounds at one-loop level: the Higgs sector
Journal of High Energy Physics, 2023 In this paper, we promote the convex cone method of positive bounds from tree level to loop level. This method is general and can be applied to obtain leading s 2 positivity bounds on the forward scattering process in the standard model effective field ...
Xu Li
doaj +1 more source