Human verifications: Computable with truth values outside logic. | Proc Natl Acad Sci U S A;120(40): e2310488120, 2023 10 03. | MEDLINE

Conteúdo principal 1 Busca 2 Rodapé 3

+A A -A Alto contraste

BVS Violência e Saúde

Informação e Conhecimento para a Saúde

Localizar descritor de assunto Busca Avançada

Human verifications: Computable with truth values outside logic.

Johnson-Laird, Philip N; Byrne, Ruth M J; Khemlani, Sangeet S.

Afiliação

Johnson-Laird PN; Department of Psychology, Princeton University, Princeton, NJ 08544.
Byrne RMJ; Department of Psychology, New York University, New York, NY 10003.
Khemlani SS; School of Psychology and Institute of Neuroscience, Trinity College Dublin, University of Dublin, Dublin 2, Ireland.

Proc Natl Acad Sci U S A ; 120(40): e2310488120, 2023 10 03.

Article em En | MEDLINE | ID: mdl-37748054

Assuntos

Médicos; Humanos; Software

Palavras-chave

computability; counterfactuals; logic; mental models; truth

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Assunto principal: Médicos Limite: Humans Idioma: En Revista: Proc Natl Acad Sci U S A Ano de publicação: 2023 Tipo de documento: Article

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Assunto principal: Médicos Limite: Humans Idioma: En Revista: Proc Natl Acad Sci U S A Ano de publicação: 2023 Tipo de documento: Article