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...

Received 30 January 2004; revised 14 May 2004; accepted 14 June 2004; published 13 August 2004. [1] Shear velocity properties of D00 beneath the central Atlantic Ocean are explored using predominantly European seismic recordings of intermediate and deep focus (>100 km) South American earthquakes. Broadband data are analyzed and, when possible, corrected for upper mantle models of receiver-side ...

[1] A hybrid method is developed for calculating synthetic seismograms for seismic waves propagating in two-dimensional localized heterogeneous anisotropic media. The hybrid method is a combination of analytic and numerical methods, with the numerical method (finite difference, or FD) applied in the heterogeneous anisotropic region only and the analytic method (generalized ray theory, or GRT) o...

[1] Seismic anisotropy provides essential constraints on mantle dynamics and continental evolution. One particular question concerns the depth distribution and coherence of azimuthal anisotropy, which is key for understanding force transmission between the lithosphere and asthenosphere. Here, we reevaluate the degree of coherence between the predicted shear wave splitting derived from tomograph...

We study the 3-D strain evolution of the northern Aegean and the vertical coherency of deformation. We observe that finite strain orientations in the mantle inferred from published shear-wave (SKS) fast polarization orientations, midto upper-crustal stretching lineations in metamorphic core complexes of mainly Miocene age, and the gradient in regional crustal thickness variations, are subparall...

Seborrhoeic keratoses (SKs) are common benign epithelial tumors. They preferentially arise on seborrheic skin areas such as the face and the trunk, rarely on the genital area. We report the case of a 41-year old patient with no particular past medical history presenting with pubic lesions evolving for three years. Clinical examination showed blackish keratosis lesions having a cerebriform appea...

This paper shows how derivations in the deep inference system SKS for classical propositional logic 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 intermedia...

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...