scientific article; zbMATH DE number 795568
From MaRDI portal
Publication:4845456
Cited in
(19)- Human rationality challenges universal logic
- Human-centered automated proof search
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
- Reliability of mathematical inference
- A Brief History of Natural Deduction
- The psychology of inferring conditionals from disjunctions: a probabilistic study
- Incorrect responses in first-order false-belief tests: a hybrid-logical formalization
- Logic Programming, Argumentation and Human Reasoning
- AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism
- The effort of reasoning: modelling the inference steps of boundedly rational agents
- Artificial intelligence and high-level cognition
- The logic of fast and slow thinking
- Indicative conditionals and intuitionistic
- Fallibility and fruitfulness of deductions
- A logic for bounded multi-agent reasoning: deductive inference, introspection, and attribution
- Reasoning about uncertain conditionals
- Is logic all in our heads? From naturalism to psychologism
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4845456)
