Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Censors for Boolean Description Logic

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Mobilities, Entanglements and Transformations in Neolithic societies on the Swiss Plateau (3900-3500 BC)

The material culture of Neolithic settlements – especially pottery – was often taken as key argument to distinguish „Neolithic cultures“ like Cortaillod, Pfyn, Michelsberg, Munzingen, NMB, Altheim. „Foreign influences“ in these pottery styles point to complex entanglements between social groups and highly mobile people, bluring the supposed cultural boundaries. The two PhD-projects aim at a critical revision of former notions of „culture“ by focussion on similarities and differences in pottery practecies of dedrodated key sites on the Swiss Plateau (3900 -3500 BC).

Observation of an Excited B±c Meson State with the ATLAS Detector

A search for excited states of the B ± c meson is performed using 4.9  fb −1 of 7 TeV and 19.2  fb −1 of 8 TeV pp collision data collected by the ATLAS experiment at the LHC. A new state is observed through its hadronic transition to the ground state, with the latter detected in the decay B ± c →J/ψπ ± . The state appears in the m(B ± c π + π − )−m(B ± c )−2m(π ± ) mass difference distribution with a significance of 5.2 standard deviations. The mass of the observed state is 6842±4±5  MeV , where the first error is statistical and the second is systematic. The mass and decay of this state are consistent with expectations for the second S -wave state of the B ± c meson, B ± c (2S) .

First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Searching the hearts of graphene-like molecules for simplicity, sensitivity and logic

If quantum interference patterns in the hearts of polycyclic aromatic hydrocarbons (PAHs) could be isolated and manipulated, then a significant step towards realizing the potential of single-molecule electronics would be achieved. Here we demonstrate experimentally and theoretically that a simple, parameter-free, analytic theory of interference patterns evaluated at the mid-point of the HOMO-LUMO gap (referred to as M-functions) correctly predicts conductance ratios of molecules with pyrene, naphthalene, anthracene, anthanthrene or azulene hearts. M-functions provide new design strategies for identifying molecules with phase-coherent logic functions and enhancing the sensitivity of molecular-scale interferometers.