scientific article; zbMATH DE number 795568
From MaRDI portal
Publication:4845456
zbMath0850.68295MaRDI QIDQ4845456
Publication date: 11 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Logic Programming, Argumentation and Human Reasoning, Human rationality challenges universal logic, Reliability of mathematical inference, The psychology of inferring conditionals from disjunctions: a probabilistic study, Is logic all in our heads? From naturalism to psychologism, Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization, A Brief History of Natural Deduction, Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, The effort of reasoning: modelling the inference steps of boundedly rational agents, AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism, Reasoning about uncertain conditionals, Human-centered automated proof search, Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization
