Diagrammatic Reasoning with Classes and Relationships

DOI10.1007/978-3-0348-0600-8_6MaRDI QIDQ2948607zbMATH OpenOpenAlexWikidataFDO

Authors Jorgen Fischer Nilsson

Publication date 6 October 2015

Published in Visual Reasoning with Diagrams (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-0348-0600-8_6

zbMATH Keywords

diagrammatic reasoninglogic diagramslogical visualization principles and toolsrelationships between classes

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic of natural languages (03B65) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1682685
• Reasoning on UML class diagrams
• scientific article; zbMATH DE number 4145841
• Diagrams of logical relations in transformational tasks
• A diagrammatic logic for object-oriented visual modeling
• Diagrammatic representation of conceptual structures
• Visual reasoning with diagrams

Cites work

• Essays in logical semantics
• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 1241639 (Why is no real title available?)
• scientific article; zbMATH DE number 1552571 (Why is no real title available?)
• scientific article; zbMATH DE number 1773524 (Why is no real title available?)
• scientific article; zbMATH DE number 2171655 (Why is no real title available?)
• scientific article; zbMATH DE number 753770 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• Ontological Constitutions for Classes and Properties
• Peirce algebras
• The rise of modern logic: from Leibniz to Frege

Cited in

(4)

• A cube of opposition for predicate logic
• Reasoning with concept diagrams about antipatterns in ontologies
• scientific article; zbMATH DE number 1956526 (Why is no real title available?)
• Diagrammatic Representation and Inference

This page was built for publication: Diagrammatic Reasoning with Classes and Relationships

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948607)