9783540206071 - The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic: 2892 di Dau, Frithjof (15 risultati)

Soft cover. Condizione: Very Good. 1st Edition. 8vo, card covers, xi, 213pp. First printing. VG+: clean, bright, sound, presentable.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In.

PF. Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. pp. 228.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts,judgements, and conclusions. Concepts are mathematized using FormalConcept Analysis (FCA), while an approach to the formalization of judgements andconclusions is conceptual graphs, based on Peirce's existential graphs.Combining FCAand a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic. Expressing negation in contextual logic is a difficult task. Based on the author's dissertation, this book shows how negation on the level ofjudgements can be implemented. To do so, cuts (syntactical devices used to expressnegation) are added to concept graphs. As we can express relations between objects, conjunction and negation in judgements, and existential quantification, the author demonstrates that concept graphs with cuts have the expressive power of first-order predicate logic. While doing so, the authordistinguishes between syntax and semantics, and provides a sound and completecalculus for concept graphs with cuts.The author's treatment ismathematically thorough and consistent, and the book gives the necessarybackground on existential and conceptual graphs.

Taschenbuch. Condizione: Neu. The Logic System of Concept Graphs with Negation | And Its Relationship to Predicate Logic | Frithjof Dau | Taschenbuch | xii | Englisch | 2003 | Springer | EAN 9783540206071 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts,judgements, and conclusions. Concepts are mathematized using FormalConcept Analysis (FCA), while an approach to the formalization of judgements andconclusions is conceptual graphs, based on Peirce's existential graphs.Combining FCAand a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic. Expressing negation in contextual logic is a difficult task. Based on the author's dissertation, this book shows how negation on the level ofjudgements can be implemented. To do so, cuts (syntactical devices used to expressnegation) are added to concept graphs. As we can express relations between objects, conjunction and negation in judgements, and existential quantification, the author demonstrates that concept graphs with cuts have the expressive power of first-order predicate logic. While doing so, the authordistinguishes between syntax and semantics, and provides a sound and completecalculus for concept graphs with cuts.The author's treatment ismathematically thorough and consistent, and the book gives the necessarybackground on existential and conceptual graphs. 232 pp. Englisch.

Condizione: New. Print on Demand pp. 228 Illus.

Condizione: New. PRINT ON DEMAND pp. 228.

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts,&nbspjudgements, and conclusions. Concepts are mathematized using Formal&nbspConcept Analysis (FCA), while an approach to the for.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the formalization of judgements and conclusions is conceptual graphs, based on Peirce's existential graphs. Combining FCA and a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic.Expressing negation in contextual logic is a difficult task. Based on the author's dissertation, this book shows how negation on the level of judgements can be implemented. To do so, cuts (syntactical devices used to express negation) are added to concept graphs. As we can express relations between objects, conjunction and negation in judgements, and existential quantification, the author demonstrates that concept graphs with cuts have the expressive power of first-order predicate logic. While doing so, the author distinguishes between syntax and semantics, and provides a sound and complete calculus for concept graphs with cuts. The author's treatment is mathematically thorough and consistent, and the book gives the necessary background on existential and conceptual graphs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch.