A Linear/Producer/Consumer Model of Classical Linear Logic

This paper defines a new proof- and category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same semantic footing, following Benton's linear/non-linear formulation of intuitionistic linear logic. Semantically, LPC corresponds to a system of three categories connected by adjunctions reflecting the linear/producer/consumer structure. The paper's metatheoretic results include admissibility theorems for the cut and duality rules, and a translation of the LPC logic into category theory. The work also presents several concrete instances of the LPC model.Comment: In Proceedings LINEARITY 2014, arXiv:1502.0441

Marshall University Music Department Presents a Showcase Concert, the Marshall University Symphonic Band, Jennifer Parson, Conductor, and the Marshall University Wind Symphony, Steve Barnett, Conductor

https://mds.marshall.edu/music_perf/1228/thumbnail.jp

Marshall University School of Music and Theatre presents the Marshall Univeristy Symphonic Band and the Marshall University Wind Symphony

https://mds.marshall.edu/music_perf/1186/thumbnail.jp

Marshall University Music Department Presents the Marshall University Symphonic Band, Jennifer Parson, Conductor, and the Marshall University Wind Symphony, Steve Barnett, Conductor

https://mds.marshall.edu/music_perf/1220/thumbnail.jp

Marshall University Music Department Presents the MarshallUniversity Symphonic Band and the Marshall University Wind Symphony

https://mds.marshall.edu/music_perf/1246/thumbnail.jp

Factors Influencing Men’s Basketball Season Ticket Purchase

This study explored the men\u27s basketball season ticket consumption behavior and identified the differences among marital status and those who brought children to the game. Using survey methodology, statistical analysis reveals that entertainment, sport involvement, team identification, and game attractiveness, are keys factors influencing men\u27s basketball season ticket consumption. Married persons appreciate team identification and entertainment more than non-married individuals. Practical managerial implications and marketing-strategy suggestions are also included

Advocacy Corner: The Case for Ohio’s Mathematical Modeling and Reasoning Course

In the following policy brief, the authorsdiscuss recent steps by the Ohio Mathematics Initiative to better align mathematics coursework to the college and career goals of Ohio’s students.  They argue for a Modeling and Reasoning course to better meet the needs of various majors and careers and to help ensure student success in college-level mathematics courses

Collegiate Basketball Season-Ticket Holders’ Purchasing Motivation and Interests

This study examined the ticket purchasing motivation and interests of 334 season-ticket holders (199 males, 135 females) from two NCAA Division-I regional state institutions. The participants’ purchasing motivation and interests were surveyed onsite in the 2008-09 season by utilizing a12-item self-created instrument with a high level of internal reliability. The results indicated that the participants’ ticket purchasing motivation was mainly influenced by the competition and psycho-social related factor (CPR), and price and promotion (P&P) factor. The researchers further addressed the unique aspects in promoting regional Division-I basketball programs, and limitations and directions for future studies

Spatiotemporal studies of black spruce forest soils and implications for the fate of C

Post-fire storage of carbon (C) in organic-soil horizons was measured in one Canadian and three Alaskan chronosequences in black spruce forests, together spanning stand ages of nearly 200 yrs. We used a simple mass balance model to derive estimates of inputs, losses, and accumulation rates of C on timescales of years to centuries. The model performed well for the surface and total organic soil layers and presented questions for resolving the dynamics of deeper organic soils. C accumulation in all study areas is on the order of 20–40 gC/m2/yr for stand ages up to ∼200 yrs. Much larger fluxes, both positive and negative, are detected using incremental changes in soil C stocks and by other studies using eddy covariance methods for CO2. This difference suggests that over the course of stand replacement, about 80% of all net primary production (NPP) is returned to the atmosphere within a fire cycle, while about 20% of NPP enters the organic soil layers and becomes available for stabilization or loss via decomposition, leaching, or combustion. Shifts toward more frequent and more severe burning and degradation of deep organic horizons would likely result in an acceleration of the carbon cycle, with greater CO2 emissions from these systems overall