Results 231 to 240 of about 4,158,085 (300)

Proof Editor for Natural Deduction in First-order Logic

, 2017
HenryBjörnsson Ly, Andreas Widbom
openalex   +1 more source

Natural deduction as higher-order resolution

, 1986
Lawrence C. Paulson
openalex   +2 more sources

Reflections of Indigenous, racialized, and Global South practitioners and scholars on liberatory community wellbeing and mental health praxis: A qualitative study

American Journal of Community Psychology, EarlyView.
Abstract This qualitative study explores how Indigenous, racialized, and Global South practitioners and scholars engage in liberatory praxis, drawing on decolonial theory and critical psychologies, to reimagine community wellbeing and mental health (CWMH) beyond Western‐based psychological frameworks.
Ramy Barhouche
wiley   +1 more source

Home use of mifepristone for medical abortion: a systematic review. [PDF]

BMJ Sex Reprod Health
Gemzell-Danielsson K, Lindh I, Brynhildsen J, Christensson A, Moberg K, Wernersson E, Johansson S.   +6 more
europepmc   +1 more source

Facilitators and barriers to neighborhood social integration

American Journal of Community Psychology, EarlyView.
Abstract Social isolation has reached concerning rates, particularly in the wake of the COVID‐19 pandemic. Social integration is critical to combatting social isolation and loneliness by promoting a sense of community and belonging. Yet, most existing research centers on fostering close personal relationships within family and friend networks.
Joelle Fuchs, Deena Shariq, Emily Yang, Giselle Maya, Taylor L. Wilds, Collin W. Mueller, Arianna M. Gard   +6 more
wiley   +1 more source

Research Hypothesis: A Brief History, Central Role in Scientific Inquiry, and Characteristics. [PDF]

Addict Health
Ghasemi A, Hosseinpanah F, Kashfi K, Bahadoran Z.   +3 more
europepmc   +1 more source

Maximum cuts in extended natural deduction

, 2010
Mirjana Borisavljević
openalex   +2 more sources

Community music, identity and belonging among Dutchies in Australia: Comparing assimilation to multiculturalism

Australian Journal of Social Issues, EarlyView.
Abstract This article discusses variations in the experiences of Dutch identity and belonging to a music‐making group in the Dutch migrant community in Melbourne, Australia. It answers the research question “Which variations of ‘Dutch identity’ are there for the participants and how does music‐making relate to this?”. Feelings of identity and belonging
Karien Dekker, Jora Broerse, Nonja Peters   +2 more
wiley   +1 more source

From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction

, 2018
Chad E. Brown, Christine Rizkallah
openalex   +2 more sources

“That grey area where no one can help”: The experience of younger people avoiding or leaving residential aged care who are not NDIS participants

Australian Journal of Social Issues, EarlyView.
Abstract Living in residential aged care (RAC) can have deleterious effects on the health, well‐being and social participation of younger people (<65 years of age). This research examined the barriers and enablers to leaving or avoiding RAC for Australian younger people who are not National Disability Insurance Scheme (NDIS) participants. It reports on
Barrie Shannon, Caroline Hart, Stella Koritsas, Keith McVilly   +3 more
wiley   +1 more source