Tous les ebooks de la collection "Outstanding Contributions to Logic" - Springer

8 Livre(s)
Télécharger le livre : Hiroakira Ono on Substructural Logics
Ajouter à ma liste d'envies
Hiroakira Ono on Substructural Logics
Nikolaos Galatos , Kazushige Terui
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira...

Editeur : Springer
Parution : 2021-12-13
Collection : Outstanding Contributions to Logic
PDF, ePub

147,69 €
Télécharger le livre : Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Ajouter à ma liste d'envies
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Ivo Düntsch , Edwin Mares
This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart.This introductory section is followed by papers on algebraic logic and lattice theory,...

Editeur : Springer
Parution : 2021-09-24
Collection : Outstanding Contributions to Logic
PDF, ePub

137,14 €
Télécharger le livre : Graham Priest on Dialetheism and Paraconsistency
Ajouter à ma liste d'envies
Graham Priest on Dialetheism and Paraconsistency
Can Baskent , Thomas Macaulay Ferguson
This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has...

Editeur : Springer
Parution : 2020-01-01
Collection : Outstanding Contributions to Logic
PDF, ePub

168,79 €
Télécharger le livre : Ewa Orlowska on Relational Methods in Logic and Computer Science
Ajouter à ma liste d'envies
Ewa Orlowska on Relational Methods in Logic and Computer Science
Joanna Golinska-Pilarek , Michal Zawidzki
This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orlowska...

Editeur : Springer
Parution : 2018-12-08
Collection : Outstanding Contributions to Logic
PDF, ePub

137,14 €
Télécharger le livre : Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Ajouter à ma liste d'envies
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Gabriel Sandu , Hans Van Ditmarsch
This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community.This book, whose chapters have been...

Editeur : Springer
Parution : 2018-01-31
Collection : Outstanding Contributions to Logic
PDF

158,24 €
Télécharger le livre : Johan van Benthem on Logic and Information Dynamics
Ajouter à ma liste d'envies
Johan van Benthem on Logic and Information Dynamics
Alexandru Baltag , Sonja Smets
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself....

Editeur : Springer
Parution : 2014-08-27
Collection : Outstanding Contributions to Logic
ePub

210,99 €
Télécharger le livre : Nuel Belnap on Indeterminism and Free Action
Ajouter à ma liste d'envies
Nuel Belnap on Indeterminism and Free Action
Thomas Müller
This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American...

Editeur : Springer
Parution : 2014-03-21
Collection : Outstanding Contributions to Logic
PDF, ePub

Gratuit
Télécharger le livre : David Makinson on Classical Methods for Non-Classical Problems
Ajouter à ma liste d'envies
David Makinson on Classical Methods for Non-Classical Problems
Sven Ove Hansson
The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas.The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his...

Editeur : Springer
Parution : 2013-12-20
Collection : Outstanding Contributions to Logic
ePub

147,69 €