A compact light readout system for longitudinally segmented shashlik calorimeters

The longitudinal segmentation of shashlik calorimeters is challenged by dead zones and non-uniformities introduced by the light collection and readout system. This limitation can be overcome by direct fiber-photosensor coupling, avoiding routing and bundling of the wavelength shifter fibers and embedding ultra-compact photosensors (SiPMs) in the bulk of the calorimeter. We present the first experimental test of this readout scheme performed at the CERN PS-T9 beamline in 2015 with negative particles in the 1-5~GeV energy range. In this paper, we demonstrate that the scheme does not compromise the energy resolution and linearity compared with standard light collection and readout systems. In addition, we study the performance of the calorimeter for partially contained charged hadrons to assess the $e/\pi$ separation capability and the response of the photosensors to direct ionization.Comment: To appear in Nuclear Instruments and Methods in Physics Research,

Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature