A contraction-free and cut-free sequent calculus \ for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus \ for De Morgan algebras are developed. The cut rule is admissible in both sequent calculi. Both calculi enjoy the decidability and Craig interpolation. The sequent calculi are applied to prove some embedding theorems: \ is embedded into \ via Gödel–Gentzen translation. \ is embedded into a sequent calculus for classical propositional logic. \ is embedded into the sequent calculus \ for intuitionistic (...) propositional logic. (shrink)

In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.

With an increase in the number of international students in China, there has been a simultaneous increase in their emotional problems, such as depression, as well as the importance of their emotional well-being. This study aimed to investigate the influence of social support on depression and the mediation and moderation mechanisms of this relationship in international students. In total, 349 international students in China responded to a questionnaire survey comprising the Social Support Rating Scale, Self-rating Depression Scale, Adult Attachment Scale, (...) and Self-Esteem Scale. The results showed that: attachment closeness had a significant direct predictive effect on depression; attachment closeness played a mediating role in the relationship between social support and depression; and the direct effect of social support on depression and the mediating effect of attachment and closeness are regulated by self-esteem. Therefore, interventions aimed at improving the social support, attachment closeness, and self-esteem of international students in China can be effective in reducing their depressive symptoms. (shrink)

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as agency; argumentation and agreement; belief representation; probability and uncertainty; belief revision and belief merging; knowledge (...) and action; dynamics of informational attitudes; intentions, plans, and goals; decision making and planning; preference and utility; cooperation; strategic reasoning and game theory; epistemology; social choice; social interaction; speech acts; knowledge representation; norms and normative systems; natural language; rationality; philosophical logic. (shrink)