Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a “modus-ponens-like” rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication-fusion fragments, while a basis for the admissible rules of the full multiplicative fragment requires an additional countably infinite set...

Comparative correlative constructions (the more you run, the more you sweat) are widespread across the languages of the world (Taylor, 2006). Nonetheless, the peculiarities of this construction raise questions that challenge our understanding of the syntax of this specific construction and, more broadly, of how the core and the periphery of Universal Grammar (UG) are organized (Culicover and Ja...

This paper presents an historical comparison and analysis of school laws enacted by the Indiana General Assembly during four selected decades fifty years apart. The decades selected were 1847-1856, 1897-1906, 1947-1956, and 1997-2006. The number of school laws enacted during each of the four selected decades was compared and analyzed. The subject areas of the school laws enacted during the four...

UG Handbook » This is one of the simplest connections between geometry and motion. The motion contains more information than the curve traced out by the particle It also aims to teach the practical calculation of these formulas and their understand and be able to calculate line, surface and volume integrals. As someone who has never taken geometry before, would it be worth doing geometry in my ...

Several automated border detection approaches for three-dimensional echocardiography have been developed in recent years, allowing quantification of a range of clinically important parameters. In this review, the background and principles of these approaches and the different classes of methods are described from a practical perspective, as well as the research trends to achieve a robust method.

In 1976, Hughes and Thompson introduced the idea of steering the maximum response of a linear array by amplitude weighting the output signals of the elements, thus eliminating the need for time delays or phase-shift networks. Currently that amplitude-steered array concept is being extended to a broadband two-dimensional array that can be used for real-time three-dimensional imaging. In shifting...