The Logic of Quasi-MV Algebras

The algebraic theory of quasi-MV algebras, generalizations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define several interesting logics from these structures, so far this aspect has not been investigated. The present article aims at filling this ga

Discriminator logics (Research announcement)

A discriminator logic is the 1-assertional logic of a discriminator variety V having two constant terms 0 and 1 such that V ⊨ 0 1 iff every member of V is trivial. Examples of such logics abound in the literature. The main result of this research announcement asserts that a certain non-Fregean deductive system SBPC, which closely resembles the classical propositional calculus, is canonical for the class of discriminator logics in the sense that any discriminator logic S can be presented (up to definitional equivalence) as an axiomatic extension of SBPC by a set of extensional logical connectives taken from the language of S. The results outlined in this research announcement are extended to several generalisations of the class of discriminator logics in the main work

Discriminator logics (Research announcement)

A discriminator logic is the 1-assertional logic of a discriminator variety V having two constant terms 0 and 1 such that V ⊨ 0 1 iff every member of V is trivial. Examples of such logics abound in the literature. The main result of this research announcement asserts that a certain non-Fregean deductive system SBPC, which closely resembles the classical propositional calculus, is canonical for the class of discriminator logics in the sense that any discriminator logic S can be presented (up to definitional equivalence) as an axiomatic extension of SBPC by a set of extensional logical connectives taken from the language of S. The results outlined in this research announcement are extended to several generalisations of the class of discriminator logics in the main work

Hydrogels containing the ferri/ferrocyanide redox couple and ionic liquids for thermocells

Thermoelectrochemical cells are a promising new technology for harvesting low-grade waste heat. The operation of these cells relies on a redox couple within an electrolyte, which is most commonly water-based, and improvement of these materials is a key aspect of the advancement of this technology. Here, we report the gelation of aqueous electrolytes containing the K3Fe(CN)6/K4Fe(CN)6 redox couple using a range of different polymers, including polyvinyl alcohol (PVA), sodium carboxymethyl cellulose (Cmc), polyacrylamide (PAAm), and two commercial polyurethane-based polymers: HydroMed D640 and HydroSlip C. These polymers produce quasi-solid-state electrolytes with sufficient mechanical properties to prevent leakage, and allow improved device flexibility and safety. Furthermore, the incorporation of various ionic liquids within the optimized hydrogel network is investigated as a route to enhance the electrochemical and mechanical properties and thermal energy harvesting performance of the hydrogels

The effect of group counseling on hope with diverse undergraduates during sustainability-focused internship

Many adolescents report feeling overwhelmed, depressed, anxious, and hopeless in the face of global climate change. These feelings are both valid and antithetical to the necessary hope and courage it takes to address real-world environmental crises and contribute to meaningful societal impact. The Green Teams Program, an internship-based experiential learning initiative, prepares young professionals with skills and knowledge needed to address these challenges and provides an intentionally inclusive and safe environment for students from all backgrounds to do so. This structured environment includes psychoeducational group counseling among other supports. Intern self-assessments revealed significant gains in measures of Hope, Agency, and Self-Clarity, likely attributed to the Program\u27s intentional and inclusive pedagogical practices. Results from a pre-and post-program assessment instrument, the Hope Action Inventory, indicated that participation in the Green Teams Program impacted individuals\u27 hope for the future and their ability to implement this hope into tangible steps toward their career development. The findings will inform and enhance existing and future STEM-focused experiential learning programs so that students from all backgrounds are well-supported to address the global challenges that impact their generations most