The Logic System of Concept Graphs with Negation

Start.- 1 Introduction.- 2 Basic Definitions.- Alpha.- 3 Overview for Alpha.- 4 Semantics for Nonexistential Concept Graphs.- 5 Calculus for Nonexistential Concept Graphs.- 6 Soundness and Completeness.- Beta.- 7 Overview for Beta.- 8 First Order Logic.- 9 Semantics for Existential Concept Graphs.- 10 Calculus for Existential Concept Graphs.- 11 Syntactical Equivalence to FOL.- 12 Summary of Beta.- 13 Concept Graphs without Cuts.- 14 Design Decisions.

[1]  Julia Klinger,et al.  Semiconcept Graphs with Variables , 2002, ICCS.

[2]  Sun-Joo Shin.  The Iconic Logic of Peirce's Graphs , 2002 .

[3]  Rudolf Wille,et al.  Existential Concept Graphs of Power Context Families , 2002, ICCS.

[4]  Frithjof Dau,et al.  An Embedding of Existential Graphs into Concept Graphs with Negations , 2002, ICCS.

[5]  Rudolf Wille,et al.  Conceptual Structures of Multicontexts , 1996, ICCS.

[6]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[7]  John F. Sowa,et al.  Conceptual Graphs: Draft Proposed American National Standard , 1999, ICCS.

[8]  Geneviève Simonet.  Two FOL Semantics for Simple and Nested Conceptual Graphs , 1998, ICCS.

[9]  Klaus Oehler.  Charles Sanders Peirce: , 2019, Peirce's Philosophical Perspectives.

[10]  Susanne Prediger.  Mathematische Logik in der Wissensverarbeitung , 2000 .

[11]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[12]  Rudolf Wille.  Boolean Judgment Logic , 2001, ICCS.

[13]  John F. Sowa,et al.  Peircean Foundations for a Theory of Context , 1997, ICCS.

[14]  Franz Baader,et al.  Tractable and Decidable Fragments of Conceptual Graphs , 1999, ICCS.

[15]  Hilary Putnam,et al.  Reasoning and the logic of things , 1992 .

[16]  Susanne Prediger,et al.  Simple Concept Graphs: A Logic Approach , 1998, ICCS.

[17]  Robert W. Burch.  A Peircean Reduction Thesis : The Foundations of Topological Logic , 1991 .

[18]  Azriel Levy.  Basic set theory , 1979 .

[19]  Julia Klinger.  Simple Semiconcept Graphs: A Boolean Logic Approach , 2001, ICCS.

[20]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[21]  Rudolf Wille.  Triadic Concept Graphs , 1998, ICCS.

[22]  Rudolf Wille.  Restructuring mathematical logic: an approach based on Peirce's pragmatism , 1996 .

[23]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[24]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[25]  Bernhard Ganter,et al.  Formale Begriffsanalyse - mathematische Grundlagen , 1996 .

[26]  John F. Sowa,et al.  Conceptual graphs summary , 1992 .

[27]  Marie-Laure Mugnier,et al.  Positive Nested Conceptual Graphs , 1997, ICCS.

[28]  Frithjof Dau,et al.  Negations in Simple Concept Graphs , 2000, ICCS.

[29]  Rudolf Wille,et al.  Boolean Concept Logic , 2000, ICCS.

[30]  D. Roberts.  The existential graphs , 1992 .

[31]  Sun-Joo Shin.  Reconstituting Beta Graphs into an Efficacious System , 1999, J. Log. Lang. Inf..

[32]  Keith Devlin,et al.  Logic and information , 1991 .

[33]  Susanne Prediger.  Terminologische Merkmalslogik in der Formalen Begriffsanalyse , 2000 .

[34]  Rudolf Wille,et al.  The Lattice of Concept Graphs of a Relationally Scaled Context , 1999, ICCS.

[35]  Lawrence S. Moss,et al.  Situation Theory , 1997, Handbook of Logic and Language.

[36]  Rudolf Wille,et al.  Conceptual Graphs and Formal Concept Analysis , 1997, ICCS.

[37]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[38]  Bernhard Ganter,et al.  Contextual Attribute Logic , 1999, ICCS.

[39]  Iadh Ounis,et al.  Conceptual Graphs and First Order Logic , 2000, Comput. J..

[40]  Eric M. Hammer,et al.  Semantics for existential graphs , 1998, J. Philos. Log..

[41]  Susanne Prediger,et al.  Kontextuelle Urteilslogik mit Begriffsgraphen: ein Beitrag zur Restrukturierung der mathematischen Logik , 1998 .

[42]  Ulf Friedrichsdorf.  Einführung in die klassische und intensionale Logik , 1992 .

[43]  G. Kerdiles,et al.  Saying It with Pictures: a logical landscape of conceptual graphs , 2001 .

[44]  Susanne Prediger.  Nested Concept Graphs and Triadic Power Context Families , 2000, ICCS.

[45]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[46]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[47]  James Donald Monk.  Introduction to set theory , 1969 .

[48]  John F. Sowa,et al.  Syntax, Semantics, and Pragmatics of Contexts , 1995, ICCS.

[49]  Rudolf Wille.  Contextual logic summary , 2000 .

[50]  Marie-Laure Mugnier,et al.  Logic for Nested Graphs , 1998, Comput. Intell..

[51]  M. Mugnier,et al.  Représenter des connaissances et raisonner avec des graphes , 1996 .

[52]  Rudolf Wille,et al.  Lattices of Triadic Concept Graphs , 2000, ICCS.

[53]  Wolfgang Rautenberg.  Einführung in die Mathematische Logik , 1995 .

[54]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[55]  Marie-Laure Mugnier,et al.  Knowledge Representation and Reasonings Based on Graph Homomorphism , 2000, ICCS.

[56]  Marie-Laure Mugnier,et al.  Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics , 1998, KR.

[57]  R. Wille.  Concept lattices and conceptual knowledge systems , 1992 .

[58]  Rudolf Wille.  Conceptual Contents as Information - Basics for Contextual Judgment Logic , 2003, ICCS.

[59]  Frithjof Dau,et al.  Concept Graphs as Semantic Structures for Contextual Judgment Logic , 2007, CLA.