We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

objective: this study was designed to compare the stress produced at the pdl of abutment teeth with two angles of cervical convergence, in otherwise similar settings. materials and methods: two finite element models were designed for a second premolar and a removable partial denture frame containing an i-bar clasp. maximum principal stress (s1) and von mises stress (seqv) were assessed along a ...

The analysis of the non-linear and time-dependent viscoelasticity of the periodontal ligament (PDL) enables a better understanding of the biomechanical features of the key regulator tissue for tooth movement. This is of great significance in the field of orthodontics as targeted tooth movement remains still one of the main goals to accomplish. The investigation of biomechanical aspects of the P...

Herein, we compared the microphase-separation behavior and mechanical properties of cellulose- amylose-based block copolymers (BCPs). Various cellooligosaccharide triacetate-b-poly(?-decanolactone)-b-cellooligosaccharide triacetates (AcCeln-b-PDL-b-AcCelns), which are cellulose-based ABA-type BCPs, with PDL molecular weights approximately 5, 10, 20 kg mol–1 volume fractions 0.65, 0.77, 0.87, we...

The Dynamic Logic for Propositional Assignments (DL-PA) has recently been studied as an alternative to Propositional Dynamic Logic (PDL). In DL-PA, the abstract atomic programs of PDL are replaced by assignments of propositional variables to truth values. This makes DL-PA enjoy some interesting meta-logical properties that PDL does not, such as eliminability of the Kleene star, compactness and ...

Peptide dendrimers are a novel type of macromolecules with precise structure, which can be used as drug target vector and controlled-release carrier. So it is valuable to study. In this paper, novel peptide dendrimers PDL-GB2 and PDL-G2 were prepared according to divergent procedure with four-orientation molecule as the core and L-lysine as the branch unit. And the structures were identified by...

OBJECTIVE The objective of this study was to investigate the effect of mechanical strain by mapping physicochemical properties at periodontal ligament (PDL)-bone and PDL-cementum attachment sites and within the tissues per se. DESIGN Accentuated mechanical strain was induced by applying a unidirectional force of 0.06N for 14 days on molars in a rat model. The associated changes in functional ...

INTRODUCTION Pulsed dye laser (PDL) is an important treatment for superficial infantile hemangioma, but few studies report on its cellular mechanism. The aim of this study was to evaluate alterations of serum vascular endothelial growth factor (VEGF) level in infantile hemangioma (IH) patients after laser treatment and effects of PDL irradiation on human umbilical vein endothelial cells (HUVECs...

This paper proposes a mechanism called Personal Digital Library (PDL) for networkbased personal computers. PDL provides a new Web service paradigm. The Memex (“memory extender”) device proposed by Vannevar Bush aimed at solving the problems of "locating relevant information in published records and recording how that information is intellectually connected". Proposed as a new information infras...

The periodontal ligament (PDL) is a fibrous connective tissue that anchors tooth cementum into alveolar bone. Secreted protein acidic and rich in cysteine (SPARC) is a collagen-binding matricellular protein known to influence collagen fiber assembly in the PDL. In contrast, functional properties of the N-propeptide of collagen I, encoded in exon 2 of the COL1A1 gene, are poorly understood. In t...