This paper shows how derivations in (a variation of) SKS can be translated into proof nets. Since an SKS derivation contains more information about a proof than the corresponding proof net, we observe a loss of information which can be understood as “eliminating bureaucracy”. Technically this is achieved by cut reduction on proof nets. As an intermediate step between the two extremes, SKS deriv...

Characterizations of a continuous univariate distribution due to Shakil, Kibria and Singh (2010) (SKS), based on a simple relationship between two truncated moments is presented. We also point out that some special cases of the SKS distribution can be characterized based on the hazard function. Zusammenfassung: Charakterisierungen einer stetigen univariate Verteilung in Shakil, Kibria and Singh...

[1] In order to constrain the vertical and lateral extent of deformation and the interactions between lithosphere and asthenosphere in a context of a transpressional plate boundary, we performed teleseismic shear wave splitting measurements for 65 permanent and temporary broadband stations in central California. We present evidence for the presence of two anisotropic domains: (1) one with clear...

[1] A total of 361 SKS and five local S wave splitting measurements obtained at global and regional seismic network stations in NE China and Mongolia are used to infer the characteristics of mantle fabrics beneath northeast Asia. Fast polarization directions at most of the stations in the western part of the study area are found to be consistent with the strike of local geological features. The...

Figure S2 shows the geographic distribution of dT(SKKS-SKS) at CMB entry and exit points, and a general agreement with the trend in the tomography model SAW24B16, though the amplitude of the anomaly is not well matched. It is difficult to quantify the relative contribution to dT(SKKS-SKS) from either the eastern of western borders due to the ambiguity imparted by our limited azimuthal sampling....

In this document, we study a 3-polygraphic translation for the proofs of SKS, a formal system for classical propositional logic. We prove that the free 3-category generated by this 3-polygraph describes the proofs of classical propositional logic modulo structural bureaucracy. We give a 3-dimensional generalization of Penrose diagrams and use it to provide several pictures of a proof. We sketch...

The Nazca, Caribbean, and South America plates meet in northwestern South America where the northern end of the Andean volcanic arc and Wadati-Benioff zone seismicity indicate ongoing subduction. However, the termination of Quaternary volcanism at ~5.5°N and eastward offset in seismicity underneath Colombia suggest the presence of complex slab geometry. To help link geometry to dynamics, we ana...

The lower mantle is dominated by two large structures with anomalously low shear wave velocities, known as Large Low-Shear Velocity Provinces (LLSVPs). Several studies have documented evidence for strong seismic anisotropy at the base of the mantle near the edges of the African LLSVP. Recent work has identified a smaller structure with similar low-shear wave velocities beneath Eurasia, dubbed t...