The Logic System of Concept Graphs with Negation - Softcover

Dau, Frithjof

 
9783662181270: The Logic System of Concept Graphs with Negation
Softcover
ISBN 10: 3662181274 ISBN 13: 9783662181270
Verlag: Springer, 2014

Inhaltsangabe

Start.- 1 Introduction.- 2 Basic Definitions.- Alpha.- 3 Overview for Alpha.- 4 Semantics for Nonexistential Concept Graphs.- 5 Calculus for Nonexistential Concept Graphs.- 6 Soundness and Completeness.- Beta.- 7 Overview for Beta.- 8 First Order Logic.- 9 Semantics for Existential Concept Graphs.- 10 Calculus for Existential Concept Graphs.- 11 Syntactical Equivalence to FOL.- 12 Summary of Beta.- 13 Concept Graphs without Cuts.- 14 Design Decisions.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
3662181274
ISBN 13 
9783662181270
Einband
Taschenbuch
Anzahl der Seiten
228
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland