Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers ca...

We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new aspects of the proof theory of MLL2 with units. First, we give a novel proof system in the framework of the calculus of structures. The main feature of the new system is the consequent use of deep inference, which allows us to obs...

The purpose of this study was to evaluate the effectiveness of subgingival application of Carisolv gel as an adjunctive therapy to scaling and root planing (SRP) on calculus removal compared to conventional instrumentation. Forty-five teeth requiring extraction due to severe periodontal disease were randomized to the following treatments: 1) SRP alone; 2) placebo gel + SRP; 3) Carisolv gel + SR...

This paper aims at investigating the superiority of power allocation strategies, based on calculus of variations in a point-to-point two-way relay-assisted channel incorporating the amplify and forward strategy. Single and multilayer coding strategies for two cases of having and not having the channel state information (CSI) at the transmitters are studied, respectively. Using the notion of cal...

In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principles – necessary for the completeness result – by specialized (goal-directed) inference rules is of practical applicability, as an implentation of the calculus in the Leo-System shows. Furthermore, we prove the long-standing conj...

BACKGROUND AND OBJECTIVE Dental calculus occurs as a consequence of supersaturation of saliva with respect to calcium phosphates. This mineralization of dental plaque can be delayed by the presence of crystallization inhibitors, such as pyrophosphate or bisphosphonates. Phytate inhibits brushite and hydroxyapatite crystallization and has the potential to prevent dental calculi formation. The ai...

Measurements have been made of 222Rn release from diverse soils in the region surrounding Málaga, Spain. These flux measurements were carried out by two methods. A direct method using a static chamber technique and another indirect method obtained from concentration profile measurements of 222Rn in the soil air. The effects of meteorological variables and other parameters on 222Rn flux were stu...