A Metatheory of a Mechnized Object Theory
, 1992 The goal of this paper is to propose a metatheory, MT which describes the computation which carries out deduction in the object theory. MT is proved to have some `standard` properties, eg. it is consistent and is is such that theoremhood of the name of
Giunchiglia, Fausto, Traverso, Paolo
core
Dynamic complexity of moral motivation: the roles of duty and self-interest. [PDF]
Front PsycholKaplan U.
europepmc +1 more source
Exploring the implementation and theory of a school-based diet and active lifestyle intervention among primary school children. [PDF]
Front Public HealthChan CMJ +4 more
europepmc +1 more source
Patterns of Parenting and their Associations with Bereaved Children's Maladaptive and Adaptive Functioning. [PDF]
Res Child Adolesc PsychopatholNapier TR +4 more
europepmc +1 more source
Use of theories of human action in recent conservation research. [PDF]
Conserv BiolEyster HN +3 more
europepmc +1 more source
Hilbert's Early Metatheory Revisited. [PDF]
ErkenntnisGiovannini EN, Schiemer G.
europepmc +1 more source
Effects of physical exercise on the psychological resilience of college students: chain mediation effects of social support and self-control. [PDF]
BMC PsycholShi C, Li Z, Liu C, Zhang W, Wang P.
europepmc +1 more source
On finding one's way: a comment on Bock et al. (2024). [PDF]
Psychol ResWoods CT, Araújo D, Davids K.
europepmc +1 more source
Feasibility of a theory-based multicomponent intervention to improve diet and activity behaviours among primary school children: a pilot study. [PDF]
Nutr JChan CMJ +6 more
europepmc +1 more source
The Effectiveness of Linear and Nonlinear Pedagogical Approaches in Team-Invasion Ball Sports: A Systematic Review. [PDF]
Sports Med OpenBromilow L +4 more
europepmc +1 more source