scientific article; zbMATH DE number 969496

MaRDI QIDQ5284899zbMATHFDO

Authors Håkan Lennerstad

Publication date 22 January 1997

zbMATH Keywords

teachingstructure of proofslogical graphs

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Structure of proofs (03F07) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03B99)

Recommendations

• And so on \dots : reasoning with infinite diagrams
• Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification
• Proofs with graphs
• Mathematical Knowledge Management
• Conceptual Structures at Work

Cited in

(1)

• Presenting basic graph logic

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