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

 
9783540206071: The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic: 2892 (Lecture Notes in Computer Science)

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

Comprar usado

Condición: Bien
8vo, card covers, xi, 213pp. First...
Ver este artículo

EUR 26,30 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 11,00 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para The Logic System of Concept Graphs with Negation: And...

Imagen del vendedor

Dau, Frithjof
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 18,06
Convertir moneda
Gastos de envío: EUR 26,30
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Frithjof Dau
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 11,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Frithjof Dau
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dau, Frithjof
Publicado por Springer, 2003
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783540206071_new

Contactar al vendedor

Comprar nuevo

EUR 62,12
Convertir moneda
Gastos de envío: EUR 4,72
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Frithjof Dau
Publicado por Springer Berlin Heidelberg, 2003
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Kartoniert / Broschiert
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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,&nbspjudgements, and conclusions. Concepts are mathematized using Formal&nbspConcept Analysis (FCA), while an approach to the for. Nº de ref. del artículo: 4884739

Contactar al vendedor

Comprar nuevo

EUR 48,37
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Frithjof Dau
Publicado por Springer 2009-02-22, 2009
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540206071

Contactar al vendedor

Comprar nuevo

EUR 58,98
Convertir moneda
Gastos de envío: EUR 17,79
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen del vendedor

Dau, Frithjof
Publicado por Springer, 2003
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 5763694-n

Contactar al vendedor

Comprar nuevo

EUR 62,01
Convertir moneda
Gastos de envío: EUR 17,80
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Dau, Frithjof
Publicado por Springer, 2003
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 5763694-n

Contactar al vendedor

Comprar nuevo

EUR 67,43
Convertir moneda
Gastos de envío: EUR 17,52
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Frithjof Dau
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 35,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Frithjof Dau
Publicado por Springer, 2003
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 228. Nº de ref. del artículo: 26327359

Contactar al vendedor

Comprar nuevo

EUR 79,00
Convertir moneda
Gastos de envío: EUR 10,08
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Existen otras 6 copia(s) de este libro

Ver todos los resultados de su búsqueda