Types, Tableaus, and G?del`s God, M. Fitting

Автор: Ewa Orlowska; Joanna Goli?ska Pilarek
Название: Dual Tableaux: Foundations, Methodology, Case Studies
ISBN: 9400734360 ISBN-13(EAN): 9789400734364
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.

Автор: M. D`Agostino; Dov M. Gabbay; Reiner H?hnle; J. Po
Название: Handbook of Tableau Methods
ISBN: 9048151848 ISBN-13(EAN): 9789048151844
Издательство: Springer
Рейтинг:
Цена: 44582.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.

Автор: M. D`Agostino; Dov M. Gabbay; Reiner H?hnle; J. Po
Название: Handbook of Tableau Methods
ISBN: 0792356276 ISBN-13(EAN): 9780792356271
Издательство: Springer
Рейтинг:
Цена: 44582.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The tableau methodology, invented in the 1950`s by Beth and Hintikka and later perfected by Smullyan and Fitting, is one of the popular proof theoretical methodologies. This handbook contains several chapters on the use of tableaux methods in logic. It is suitable for students and researchers in Computer Science, and Artificial Intelligence.