Diagrammatic Reasoning with Classes and Relationships

DOI10.1007/978-3-0348-0600-8_6zbMath1401.03029OpenAlexW199918245WikidataQ61634822 ScholiaQ61634822MaRDI QIDQ2948607

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

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

Related Items (1)

A cube of opposition for predicate logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Essays in logical semantics
• Peirce algebras
• The rise of modern logic: from Leibniz to Frege
• Ontological Constitutions for Classes and Properties

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