These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
117 related articles for article (PubMed ID: 31016212)
21. A Verified Implementation of Algebraic Numbers in Isabelle/HOL. Joosten SJC; Thiemann R; Yamada A J Autom Reason; 2020; 64(3):363-389. PubMed ID: 32226180 [TBL] [Abstract][Full Text] [Related]
22. Reasoning, logic, and psychology. Stenning K; van Lambalgen M Wiley Interdiscip Rev Cogn Sci; 2011 Sep; 2(5):555-567. PubMed ID: 26302306 [TBL] [Abstract][Full Text] [Related]
23. Non-cooperative game theory in biology and cooperative reasoning in humans. Kabalak A; Smirnova E; Jost J Theory Biosci; 2015 Jun; 134(1-2):17-46. PubMed ID: 26036766 [TBL] [Abstract][Full Text] [Related]
24. Précis of bayesian rationality: The probabilistic approach to human reasoning. Oaksford M; Chater N Behav Brain Sci; 2009 Feb; 32(1):69-84; discussion 85-120. PubMed ID: 19210833 [TBL] [Abstract][Full Text] [Related]
25. Formal reasoning about systems biology using theorem proving. Rashid A; Hasan O; Siddique U; Tahar S PLoS One; 2017; 12(7):e0180179. PubMed ID: 28671950 [TBL] [Abstract][Full Text] [Related]
26. Hammer for Coq: Automation for Dependent Type Theory. Czajka Ł; Kaliszyk C J Autom Reason; 2018; 61(1):423-453. PubMed ID: 30069074 [TBL] [Abstract][Full Text] [Related]
27. Reasoning, integration, inference alteration, and text comprehension. Radvansky GA; Copeland DE Can J Exp Psychol; 2004 Jun; 58(2):133-41. PubMed ID: 15285603 [TBL] [Abstract][Full Text] [Related]
28. People Like Logical Truth: Testing the Intuitive Detection of Logical Value in Basic Propositions. Nakamura H; Kawaguchi J PLoS One; 2016; 11(12):e0169166. PubMed ID: 28036402 [TBL] [Abstract][Full Text] [Related]
29. Logical support for terminological modeling. Schlobach S; Cornet R Stud Health Technol Inform; 2004; 107(Pt 1):439-43. PubMed ID: 15360851 [TBL] [Abstract][Full Text] [Related]
30. Combining Higher-Order Logic with Set Theory Formalizations. Kaliszyk C; Pąk K J Autom Reason; 2023; 67(2):20. PubMed ID: 37252035 [TBL] [Abstract][Full Text] [Related]
31. The casuistic method of practical ethics. Spielthenner G Theor Med Bioeth; 2016 Oct; 37(5):417-31. PubMed ID: 27639870 [TBL] [Abstract][Full Text] [Related]
32. Simple logical structures of medical reasoning and action. Doroszewski J Mater Med Pol; 1991; 23(2):83-7. PubMed ID: 1842607 [TBL] [Abstract][Full Text] [Related]
33. The interaction of representation and reasoning. Bundy A Proc Math Phys Eng Sci; 2013 Sep; 469(2157):20130194. PubMed ID: 24062623 [TBL] [Abstract][Full Text] [Related]
34. Please be logical, I am in a bad mood: An electrophysiological study of mood effects on reasoning. Rodríguez-Gómez P; Pozo MÁ; Hinojosa JA; Moreno EM Neuropsychologia; 2019 Apr; 127():19-28. PubMed ID: 30776370 [TBL] [Abstract][Full Text] [Related]
35. Mental models and logical reasoning problems in the GRE. Yang Y; Johnson-Laird PN J Exp Psychol Appl; 2001 Dec; 7(4):308-16. PubMed ID: 11838893 [TBL] [Abstract][Full Text] [Related]
37. Learning to activate logic rules for textual reasoning. Yao Y; Xu J; Shi J; Xu B Neural Netw; 2018 Oct; 106():42-49. PubMed ID: 30025271 [TBL] [Abstract][Full Text] [Related]
38. Logical reasoning versus information processing in the dual-strategy model of reasoning. Markovits H; Brisson J; de Chantal PL J Exp Psychol Learn Mem Cogn; 2017 Jan; 43(1):72-80. PubMed ID: 27176044 [TBL] [Abstract][Full Text] [Related]
39. Excessive recruitment of neural systems subserving logical reasoning in schizophrenia. Ramsey NF; Koning HA; Welles P; Cahn W; van der Linden JA; Kahn RS Brain; 2002 Aug; 125(Pt 8):1793-807. PubMed ID: 12135970 [TBL] [Abstract][Full Text] [Related]