Articles liés à The Logic System of Concept Graphs with Negation: And...
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2009
- ISBN 10 3540206078
- ISBN 13 9783540206071
- ReliureBroché
- Langueanglais
- Nombre de pages228
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour The Logic System of Concept Graphs with Negation: And...
Image fournie par le vendeur
The Logic System of Concept Graphs with Negation and its Relationship to Predicate Logic (=Lecture Notes in Artificial Intelligence, 2892)
Edité par
Springer, 2003, 2003
ISBN 10 : 3540206078
ISBN 13 : 9783540206071
Ancien ou d'occasion
Soft cover
Edition originale
Vendeur : Atlantic Bookshop, Brooklyn, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : Very Good. 1st Edition. 8vo, card covers, xi, 213pp. First printing. VG+: clean, bright, sound, presentable. N° de réf. du vendeur MACPFDLSCGN
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Logic System of Concept Graphs with Negation
Edité par
Springer Berlin Heidelberg, 2003
ISBN 10 : 3540206078
ISBN 13 : 9783540206071
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : 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, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the for. N° de réf. du vendeur 4884739
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic
Edité par
Springer Berlin Heidelberg, 2003
ISBN 10 : 3540206078
ISBN 13 : 9783540206071
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540206071
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Logic System of Concept Graphs with Negation
Edité par
Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10 : 3540206078
ISBN 13 : 9783540206071
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540206071
Quantité disponible : 2 disponible(s)
Image d'archives
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic (Lecture Notes in Computer Science, 2892)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540206071_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Logic System of Concept Graphs with Negation
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10 : 3540206078
ISBN 13 : 9783540206071
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch. N° de réf. du vendeur 9783540206071
Quantité disponible : 2 disponible(s)
Image d'archives
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540206071
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Logic System of Concept Graphs With Negation : And Its Relationship to Predicate Logic
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5763694-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic System of Concept Graphs With Negation : And Its Relationship to Predicate Logic
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5763694-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Logic System of Concept Graphs with Negation
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 228. N° de réf. du vendeur 26327359
Quantité disponible : 4 disponible(s)