Artículos relacionados a The Logic System of Concept Graphs with Negation: And...
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic: 2892 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2009
- ISBN 10 3540206078
- ISBN 13 9783540206071
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas228
- Contacto del fabricanteno disponible
EUR 17,83
EUR 25,97 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,49
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para The Logic System of Concept Graphs with Negation: And...
Imagen del vendedor
The Logic System of Concept Graphs with Negation and its Relationship to Predicate Logic (=Lecture Notes in Artificial Intelligence, 2892)
Publicado por
Springer, 2003, 2003
ISBN 10: 3540206078
ISBN 13: 9783540206071
Antiguo o usado
Soft cover
Original o primera edición
Librería: Atlantic Bookshop, Brooklyn, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Soft cover. Condición: Very Good. 1st Edition. 8vo, card covers, xi, 213pp. First printing. VG+: clean, bright, sound, presentable. Nº de ref. del artículo: MACPFDLSCGN
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Logic System of Concept Graphs with Negation
Publicado por
Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540206078
ISBN 13: 9783540206071
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540206071
Cantidad disponible: 2 disponibles
Imagen del vendedor
The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic
Publicado por
Springer Berlin Heidelberg, 2003
ISBN 10: 3540206078
ISBN 13: 9783540206071
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540206071
Cantidad disponible: 1 disponibles
Imagen de archivo
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic (Lecture Notes in Computer Science, 2892)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540206071_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Logic System of Concept Graphs with Negation
Publicado por
Springer Berlin Heidelberg, 2003
ISBN 10: 3540206078
ISBN 13: 9783540206071
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: 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 ref. del artículo: 4884739
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540206071
Cantidad disponible: 10 disponibles
Imagen del vendedor
Logic System of Concept Graphs With Negation : And Its Relationship to Predicate Logic
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5763694-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic System of Concept Graphs With Negation : And Its Relationship to Predicate Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5763694-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Logic System of Concept Graphs with Negation
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 228. Nº de ref. del artículo: 26327359
Cantidad disponible: 4 disponibles
Imagen del vendedor
The Logic System of Concept Graphs with Negation
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540206078
ISBN 13: 9783540206071
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540206071
Cantidad disponible: 2 disponibles