Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany

First Page		Document Content
Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic		Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Download Document from Source Website File Size: 162,81 KB Share Document on Facebook

	Query Graphs with Cuts: Mathematical Foundations Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, DocID: 1rhkc - View Document
	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany DocID: 1r1sv - View Document
	Fixing Shin’s Reading Algorithm for Peirce’s Existential Graphs Frithjof Dau Technische Universit¨ at Dresden DocID: 1qQQb - View Document
	Contents 1 Formal Logic with Conceptual Graphs Frithjof Dau 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . 1.2 Short Introduction to Conceptual Graphs . . . . . DocID: 1qNy3 - View Document
	Constants and Functions in Peirce’s Existential Graphs Frithjof Dau University of Wollongong, Australia DocID: 1qHfo - View Document