Which <i>ab initio</i> calculation methods describe the charge transfer in ionic liquid vapors? Case study on EMIM-OTF reveals the frontier orbitals and the ionization threshold. [PDF]
RSC AdvKuusik I, Kivimäki A, Kisand V.
europepmc +1 more source
Enhanced FRER Mechanism in Time-Sensitive Networking for Reliable Edge Computing. [PDF]
Sensors (Basel)Hu S, Cai Y, Wang S, Han X.
europepmc +1 more source
Computing the alpha complex using dual active set quadratic programming. [PDF]
Sci RepCarlsson E, Carlsson J.
europepmc +1 more source
Exploratory factor analysis on the development and validation of the understanding, attitude, practice and health literacy questionnaire on COVID-19 in Malay language. [PDF]
Sci RepDalawi I, Isa MR, Aimran N.
europepmc +1 more source
A robust cross-sectional assessment of the impacts of COVID-19 pandemic on the prevalence of female genital mutilation among 0-14 years old girls in Nigeria. [PDF]
Womens Health (Lond)Visée C, Morlighem C, Nnanatu CC.
europepmc +1 more source
Lattice-valued representation of the cut-elimination theorem
Lattice-valued representation of the cut-elimination theoremopenaire
Cut-elimination theorem and Brouwerian-valued models for intuitionistic type theory
Cut-elimination theorem and Brouwerian-valued models for intuitionistic type theoryopenaire
An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation)openaire
Related searches:
AbstractAll the rules of the sequent calculus have the property that all the formulas that are present in the premises also occur in the conclusion. There is only one exception, the cut rule. In this chapter, it is shown using double induction that every theorem provable in Gentzen’s sequent calculi using the cut rule can also be proved without.
Paolo Mancosu +2 more
exaly +2 more sources