First Page | Document Content | |
---|---|---|
![]() Date: 2007-08-09 21:04:38Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic | Add to Reading List |
![]() | 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, GermanyDocID: 1r1sv - View Document |
![]() | Fixing Shin’s Reading Algorithm for Peirce’s Existential Graphs Frithjof Dau Technische Universit¨ at DresdenDocID: 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, AustraliaDocID: 1qHfo - View Document |