Handbook of Tableau Methods, M. D`Agostino; Dov M. Gabbay; Reiner H?hnle; J. Po

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

Автор: Ewa Orlowska; Joanna Goli?ska Pilarek
Название: Dual Tableaux: Foundations, Methodology, Case Studies
ISBN: 9400734360 ISBN-13(EAN): 9789400734364
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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. Fitting
Название: Types, Tableaus, and G?del`s God
ISBN: 9401039127 ISBN-13(EAN): 9789401039123
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Godel`s modal ontological argument is the centerpiece of an extensive examination of intensional logic. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Godel argument is fully formalized.