scientific article; zbMATH DE number 969496

zbMATH Open0873.03035MaRDI QIDQ5284899FDOQ5284899

Authors: Håkan Lennerstad 

Publication date: 22 January 1997

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

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

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)

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)