scientific article; zbMATH DE number 91357

MaRDI QIDQ4017364zbMATH OpenFDO

Authors W. L. Fischer

Publication date 16 January 1993

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)

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

Cited in

(8)

• Deformalization as the immanent part of logical solving
• scientific article; zbMATH DE number 827088 (Why is no real title available?)
• scientific article; zbMATH DE number 4053535 (Why is no real title available?)
• scientific article; zbMATH DE number 49983 (Why is no real title available?)
• How we think. A theory of goal-oriented decision making and its educational applications
• Formalization as the immanent part of logical solving
• scientific article; zbMATH DE number 4152150 (Why is no real title available?)
• 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)