Warenkorb
Kostenloser Versand
Unsere Operationen sind klimaneutral

Elementary Logics Dov Gabbay

Elementary Logics von Dov Gabbay

Elementary Logics Dov Gabbay


€7.69
Zustand - Sehr Gut
Nur noch 1

Zusammenfassung

This text aims to introduce classical logic in such a way that one can also easily deviate into discussing non-classical logics. It defines the many types of logics and the differences between them, starting with the basic notions of the most common logic and working through the many non-classical logics.

Elementary Logics Zusammenfassung

Elementary Logics Dov Gabbay

Logic is applied in a wide variety of subjects, from software engineering and hardware design to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations. In recent years, many extensions of classical logic such as temporal, modal, relevance and fuzzy logics have been widely used in computer science. Therefore, a new formulation of classical logic is needed which can naturally be modified to yield the effect of non-classical logics. Elementary Logics: A Procedural Perspective aims to introduce classical logic in such a way that one can also easily deviate into discussing non-classical logics. This text clarifies the definition differences between logics and allows the reader to comprehend how these small differences and their magnified effects can be understood by applying concepts common to all logics. The most common logic is introduced at the beginning of the text, with the basic notions which will be transferred to each of the logics examined. The definition of classical proportional logic is interfered with to obtain a number of non-classical logics, before returning to the classical world to present a natural deduction method for determining the truth of statements.

Inhaltsverzeichnis

1. Introduction 2. Propositional Logic and Truth Tables 3. Some Non-classical Logics 4. Introducing Forward Rules 5. From Forward to Backward Rules 6. Non-classical Boxes 7. Methodology and Metatheorems 8. Introducing Predicate Logic 9. Forward and Backward Predicate Rules 10. Elements of Modal and Temporal Logics 11. Elements of Non-monotonic Logics 12. Practical Reasoning Bibliography Index

Zusätzliche Informationen

GOR006279224
9780137263653
0137263651
Elementary Logics Dov Gabbay
Gebraucht - Sehr Gut
Broschiert
Pearson Education (US)
1993-06-01
384
N/A
Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Dies ist ein gebrauchtes Buch. Es wurde schon einmal gelesen und weist von der früheren Nutzung Gebrauchsspuren auf. Wir gehen davon aus, dass es im Großen und Ganzen in einem sehr guten Zustand ist. Sollten Sie jedoch nicht vollständig zufrieden sein, setzen Sie sich bitte mit uns in Verbindung.