Labelled Deductive Systems - Volume 1

Zusatztext The book is carefully written from a mathematical standpoint. It is also very pleasant to read, thanks to the clear and good-humoured writing style of Professor Gabbay... it should be of interest to those researchers and students of applied logics as well as those geared towards foundational and mathematical aspects of logic. Klappentext This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists. Zusammenfassung This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy. Inhaltsverzeichnis 1: What is a logical system? 2: Introducing Labelled Deductive Systems 3: Algebraic LDS 4: General LDS 5: Resource logics 6: Translation of LDS 7: LDS formulation 8: Curry-Howard interpretation 9: Structured consequence relations 10: Labelled analytic deduction 11: Abduction in Labelled Deductive Systems

Dettagli sul prodotto

• Autori: Dov M Gabbay, Dov M. Gabbay, Dov M. (King''s College London) Gabbay, Dov M. (Professor Gabbay
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 05.09.1996
• EAN: 9780198538332
• ISBN: 978-0-19-853833-2
• Pagine: 510
• Serie: Oxford Logic Guides; Labelled Deductive Systems; Oxford Logic Guides
• Categorie: Saggistica > Filosofia, religione > Filosofia: tematiche generali, opere di consultazione; Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti; Scienze umane, arte, musica > Scienze linguistiche e letterarie > Linguistica generale e comparata; MATHEMATICS / Logic, COMPUTERS / Machine Theory, Mathematical theory of computation, Mathematical logic