R-Calculus, IV: Propositional Logic, Wei Li, Yuefei Sui
Автор: Weiru Liu Название: Propositional, Probabilistic and Evidential Reasoning ISBN: 3790824933 ISBN-13(EAN): 9783790824933 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This facilitates purely symbolic reasoning using the possible worlds and numeric reasoning via the probabilities of those possible worlds. The consequence is a unified mechanism which includes both symbolic and numeric mechanisms as special cases.
Автор: Silvio Ghilardi; M. Zawadowski Название: Sheaves, Games, and Model Completions ISBN: 9048160367 ISBN-13(EAN): 9789048160365 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due to categorical logic.
Автор: Indrzejczak, Andrzej Название: Sequents and trees ISBN: 3030571440 ISBN-13(EAN): 9783030571443 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Автор: Francesca Poggiolesi Название: Gentzen Calculi for Modal Propositional Logic ISBN: 9400734425 ISBN-13(EAN): 9789400734425 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.
Introduction: The Proscriptive Principle.-Nonsense and Proscription*.- Metaphysical Considerations on State Space Semantics.- A Computational Interpretation of Conceptivism*.- Faulty Belnap Computers and Subsystems of Efde*.- Cut-Down Operations on Multilattices*.- Correia Semantics Revisited*.- Concluding Remarks.
Автор: Indrzejczak Andrzej Название: Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi ISBN: 3030571475 ISBN-13(EAN): 9783030571474 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Автор: Thomas Macaulay Ferguson Название: Meaning and Proscription in Formal Logic ISBN: 3319708201 ISBN-13(EAN): 9783319708201 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.
It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.
Автор: Walter Carnielli; R.L. Epstein; Itala M. d`Ottavia Название: The Semantic Foundations of Logic Volume 1: Propositional Logics ISBN: 9401067228 ISBN-13(EAN): 9789401067225 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value.
Автор: Bonacina Название: Space in Weak Propositional Proof Systems ISBN: 3319734520 ISBN-13(EAN): 9783319734521 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book considers logical proof systems from the point of view of their space complexity.
Автор: Avron, Arnon Arieli, Ofer Zamansky, Anna Название: Theory of effective propositional paraconsistent logics ISBN: 1848902700 ISBN-13(EAN): 9781848902701 Издательство: Неизвестно Рейтинг: Цена: 34330.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Bonacina Ilario Название: Space in Weak Propositional Proof Systems ISBN: 3319892495 ISBN-13(EAN): 9783319892498 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book considers logical proof systems from the point of view of their space complexity.
Автор: Epstein Richard L. Название: Propositional Logics Third Edition ISBN: 0983452164 ISBN-13(EAN): 9780983452164 Издательство: Неизвестно Рейтинг: Цена: 61250.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
