This paper concentrates on how to capture harmony in sequent calculi. It starts by considering a proposal made by Tennant and some objections to it which have been presented by Steinberger. Then it proposes a different analysis which makes use of a double-line presentation of sequent calculi in the style of Dos̆en and it shows that this proposal is able to dismiss disharmonious operators without...

At the end of the eighties Tennant invented a logical system that he called “intuitionistic relevant logic” (for short IR). Now he calls this same system “Core logic”. In section 1, by reference to the rules of natural deduction for IR, I explain why IR is a relevant logic in a subtle way. Sections 2, 3 and 4 give three reasons to assert that IR cannot be a Core logic.

New U-Pb monazite ages from amphibolite-facies metasedimentary rocks the Tennant Region, Murphy Inlier and intervening East area, together with existing data, reveal presence of an 1860–1840 Ma tectono-magmatic domain over 600 km long towards centre North Australian Craton. In-situ ion probe dating biotite-hosted in schist Region yielded age 1858 ± 7 Ma, which is attributed to north–south short...

Soft X-ray microscopy at the NSLS Tobias Beetz, Michael Feser, Holger Fleckenstein, Benjamin Hornberger, Chris Jacobsen, Janos Kirz, Mirna Lerotic, Enju Lima, Ming Lu, David Sayre, David Shapiro, Aaron Stein, Don Tennant, and Sue Wirick Department of Physics & Astronomy, Stony Brook University, Stony Brook NY 11794, USA Brookhaven National Laboratory, Upton, NY 11973-5000, USA New Jersey Nanote...

While there is increasing recognition of the need to go beyond measures of mental ill health, there is a relative dearth of validated tools for assessing mental wellbeing among adolescents. The Warwick-Edinburgh Mental Wellbeing Scale (WEMWBS) is a promising tool for use in this context, and this study evaluated its use in an Australian context. The WEBWBS was completed by 829 Western Australia...