'I Like the Way You Move': Validating the Use of Point-Light Display Animations in Virtual Reality as a Methodology for Manipulating Levels of Sexualization in the Study of Sexual Objectification

Autor: Kévin Nolet, Alexandre Viel, Stéphane Bouchard

Publikováno v: Frontiers in Virtual Reality, Vol 2 (2021)

Sexual objectification of others has seen a growing research interest in recent years. While promising, the field lacks standardized stimuli, resulting in a confusion between sexualization and sexual objectification, which limits the interpretability

Externí odkaz: https://doaj.org/article/b66ae9d6b8e648978e99da86ea270b96

The undecidability of proof search when equality is a logical connective

Autor: Alexandre Viel, Dale Miller

Publikováno v: Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2021, ⟨10.1007/s10472-021-09764-0⟩
Annals of Mathematics and Artificial Intelligence, 2021, ⟨10.1007/s10472-021-09764-0⟩

International audience; One proof-theoretic approach to equality in quantificational logic treats equality as a logical connective: in particular, term equality can be given both leftand right introduction rules in a sequent calculus proof system. We

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd7d9b78c080c72993d01f8d23a4cfbf
https://hal.archives-ouvertes.fr/hal-03457312