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.

Comprar usado

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

EUR 5,13 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 2,26 gastos de envío en Estados Unidos de America

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 17,60
Convertir moneda
Gastos de envío: EUR 5,13
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 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 53,09
Convertir moneda
Gastos de envío: EUR 2,26
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 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: Lucky's Textbooks, Dallas, TX, 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: ABLING22Oct2018170260767

Contactar al vendedor

Comprar nuevo

EUR 52,06
Convertir moneda
Gastos de envío: EUR 3,41
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 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: Best Price, Torrance, CA, 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. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540206071

Contactar al vendedor

Comprar nuevo

EUR 48,40
Convertir moneda
Gastos de envío: EUR 7,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Dau, Frithjof
Publicado por Springer, 2003
ISBN 10: 3540206078 ISBN 13: 9783540206071
Antiguo o usado 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: As New. Unread book in perfect condition. Nº de ref. del artículo: 5763694

Contactar al vendedor

Comprar usado

EUR 63,32
Convertir moneda
Gastos de envío: EUR 2,26
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 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 60,47
Convertir moneda
Gastos de envío: EUR 13,84
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Dau, Frithjof
Publicado por Springer 2003-11, 2003
ISBN 10: 3540206078 ISBN 13: 9783540206071
Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

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

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

Contactar al vendedor

Comprar nuevo

EUR 56,70
Convertir moneda
Gastos de envío: EUR 17,90
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 10 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 23,00
De Alemania a Estados Unidos de America
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 73,50
Convertir moneda
Gastos de envío: EUR 3,41
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 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 59,65
Convertir moneda
Gastos de envío: EUR 17,33
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 6 copia(s) de este libro

Ver todos los resultados de su búsqueda