scientific article; zbMATH DE number 91357

zbMATH Open0772.03014MaRDI QIDQ4017364FDOQ4017364

Authors: W. L. Fischer 

Publication date: 16 January 1993

Title of this publication is not available (Why is that?)

Recommendations

• Formalization as the immanent part of logical solving
• scientific article; zbMATH DE number 3893163
• The new logic
• scientific article; zbMATH DE number 16511
• scientific article; zbMATH DE number 49983

zbMATH Keywords

neurophysiologyintuitionismsequential logicplausible reasoningsynergeticmodel of thinkingdeductive rulemodelling heuristic activities in problem solvingreductive ruletask calculus

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Cognitive psychology (91E10) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) General theory of mathematical modeling (00A71) Logic in artificial intelligence (68T27) Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)

Cited In (8)

• Deformalization as the immanent part of logical solving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• How we think. A theory of goal-oriented decision making and its educational applications
• Formalization as the immanent part of logical solving
• Title not available (Why is that?)
• Formal modeling of human reasoning: errors, limitations and Baconian bees

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 Q4017364)