New techniques and completeness results for preferential structures

Karl Schlechta

doi:10.2307/2586565

New techniques and completeness results for preferential structures

Journal of Symbolic Logic ◽

10.2307/2586565 ◽

2000 ◽

Vol 65 (2) ◽

pp. 719-746 ◽

Cited By ~ 4

Author(s):

Karl Schlechta

Keyword(s):

Preference Relation ◽

Algebraic Approach ◽

Theory Revision ◽

Main Interest ◽

New Techniques ◽

Natural Approach

AbstractPreferential structures are probably the best examined semantics for nonmonotonic and deontic logics: in a wider sense, they also provide semantical approaches to theory revision and update, and other fields where a preference relation between models is a natural approach. They have been widely used to differentiate the various systems of such logics, and their construction is one of the main subjects in the formal investigation of these logics. We introduce new techniques to construct preferential structures for completeness proofs. Since our main interest is to provide general techniques, which can be applied in various situations and for various base logics (propositional and other), we take a purely algebraic approach, which can be translated into logics by easy lemmata, in particular, we give a clean construction via indexing by trees for transitive structures, this allows us to simplify the proofs of earlier work by the author, and to extend the results given there.

Download Full-text

Using high school algebra for a natural approach to derivatives and continuity

The Mathematical Gazette ◽

10.1017/mag.2018.110 ◽

2018 ◽

Vol 102 (555) ◽

pp. 435-446

Author(s):

R. Michael Range

Keyword(s):

High School ◽

Linear Equation ◽

Quadratic Equation ◽

Complex Numbers ◽

New Techniques ◽

Real Roots ◽

High School Algebra ◽

Natural Approach ◽

Central Topic

The quadratic equation is a central topic in high school algebra. It provides the simplest generalisation of the familiar linear equation, and finding its roots introduces students to a non-trivial problem that requires the application of new techniques, such as completing the square and/or factorisation into linear factors involving the roots. It also introduces the student to the phenomenon of repeated roots, which opens the door to a discussion of multiplicities of roots. Furthermore, it naturally exposes the student to the case where the equation has no real roots, a phenomenon that could also be used to introduce the student to complex numbers.

Download Full-text

Stellar Evolution

Transactions of the International Astronomical Union ◽

10.1017/s0251107x00022343 ◽

1962 ◽

Vol 11 (02) ◽

pp. 137-143

Author(s):

M. Schwarzschild

Keyword(s):

Solar System ◽

Stellar Evolution ◽

Space Craft ◽

New Techniques ◽

Substantial Body ◽

Individual Stars ◽

The Past ◽

Evolution Of Galaxies ◽

History Of ◽

Fast Flow

It is perhaps one of the most important characteristics of the past decade in astronomy that the evolution of some major classes of astronomical objects has become accessible to detailed research. The theory of the evolution of individual stars has developed into a substantial body of quantitative investigations. The evolution of galaxies, particularly of our own, has clearly become a subject for serious research. Even the history of the solar system, this close-by intriguing puzzle, may soon make the transition from being a subject of speculation to being a subject of detailed study in view of the fast flow of new data obtained with new techniques, including space-craft.

Download Full-text

Microstructural characterization of CoPtCr/Cr thin film disks by cross-section TEM and elongated probe micro-diffraction

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100088129 ◽

1991 ◽

Vol 49 ◽

pp. 762-763

Author(s):

M.A. Parker ◽

K.E. Johnson ◽

C. Hwang ◽

A. Bermea

Keyword(s):

Magnetic Recording ◽

Electron Probe ◽

Microstructural Characterization ◽

Crystallographic Structure ◽

Recording Media ◽

Layer By Layer ◽

Cross Sectional ◽

New Techniques ◽

Polished Side

We have reported the dependence of the magnetic and recording properties of CoPtCr recording media on the thickness of the Cr underlayer. It was inferred from XRD data that grain-to-grain epitaxy of the Cr with the CoPtCr was responsible for the interaction observed between these layers. However, no cross-sectional TEM (XTEM) work was performed to confirm this inference. In this paper, we report the application of new techniques for preparing XTEM specimens from actual magnetic recording disks, and for layer-by-layer micro-diffraction with an electron probe elongated parallel to the surface of the deposited structure which elucidate the effect of the crystallographic structure of the Cr on that of the CoPtCr.XTEM specimens were prepared from magnetic recording disks by modifying a technique used to prepare semiconductor specimens. After 3mm disks were prepared per the standard XTEM procedure, these disks were then lapped using a tripod polishing device. A grid with a single 1mmx2mm hole was then glued with M-bond 610 to the polished side of the disk.

Download Full-text

Computer averaging of lattice images of poly-4-methyl-pentene-1 (P4mp1): Noise created artifacts

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100126731 ◽

1987 ◽

Vol 45 ◽

pp. 388-389

Author(s):

P. Pradère ◽

J.F. Revol ◽

R. St. John Manley

Keyword(s):

Low Dose ◽

Polymer Concentration ◽

Processing System ◽

Limiting Factor ◽

Dilute Solution ◽

New Techniques ◽

Dose Unit ◽

Lattice Images ◽

Dose Imaging ◽

Imaging Conditions

Although radiation damage is the limiting factor in HREM of polymers, new techniques based on low dose imaging at low magnification have permitted lattice images to be obtained from very radiation sensitive polymers such as polyethylene (PE). This paper describes the computer averaging of P4MP1 lattice images. P4MP1 is even more sensitive than PE (total end point dose of 27 C m-2 as compared to 100 C m-2 for PE at 120 kV). It does, however, have the advantage of forming flat crystals from dilute solution and no change in d-spacings is observed during irradiation.Crystals of P4MP1 were grown at 60°C in xylene (polymer concentration 0.05%). Electron microscopy was performed with a Philips EM 400 T microscope equipped with a Low Dose Unit and operated at 120 kV. Imaging conditions were the same as already described elsewhere. Enlarged micrographs were digitized and processed with the Spider image processing system.

Download Full-text

Serial thin sectioning for pre- and post-embedding immunohistochemistry: Achieving consistent and reliable results for a 3-D reconstruction

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s042482010014748x ◽

1993 ◽

Vol 51 ◽

pp. 328-329

Author(s):

Antonia M. Milroy

Keyword(s):

Nervous System ◽

Computer Assisted ◽

Serial Sectioning ◽

Electron Microscopic ◽

High Quality ◽

New Techniques ◽

3 Dimensional ◽

Multiple User ◽

Thin Sectioning ◽

Subcellular Level

In recent years many new techniques and instruments for 3-Dimensional visualization of electron microscopic images have become available. Higher accelerating voltage through thicker sections, photographed at a tilt for stereo viewing, or the use of confocal microscopy, help to analyze biological material without the necessity of serial sectioning. However, when determining the presence of neurotransmitter receptors or biochemical substances present within the nervous system, the need for good serial sectioning (Fig. 1+2) remains. The advent of computer assisted reconstruction and the possibility of feeding information from the specimen viewing chamber directly into a computer via a camera mounted on the electron microscope column, facilitates serial analysis. Detailed information observed at the subcellular level is more precise and extensive and the complexities of interactions within the nervous system can be further elucidated.We emphasize that serial ultra thin sectioning can be performed routinely and consistently in multiple user electron microscopy laboratories. Initial tissue fixation and embedding must be of high quality.

Download Full-text